Manpages of php-json-schema in Debian stretch