php-JsonSchema: backport 1.2.4