After git pull I get the following error message:
Notice: Use of undefined constant JSON_UNESCAPED_SLASHES - assumed 'JSON_UNESCAPED_SLASHES' in /srv/www/htdocs/mediawiki/includes/json/FormatJson.php on line 126
Notice: Use of undefined constant JSON_UNESCAPED_UNICODE - assumed 'JSON_UNESCAPED_UNICODE' in /srv/www/htdocs/mediawiki/includes/json/FormatJson.php on line 128
Notice: Use of undefined constant JSON_HEX_TAG - assumed 'JSON_HEX_TAG' in /srv/www/htdocs/mediawiki/includes/json/FormatJson.php on line 129
Notice: Use of undefined constant JSON_HEX_AMP - assumed 'JSON_HEX_AMP' in /srv/www/htdocs/mediawiki/includes/json/FormatJson.php on line 129
Fatal error: Call to undefined function json_encode() in /srv/www/htdocs/mediawiki/includes/json/FormatJson.php on line 130
http://php.net/manual/en/json.constants.php says JSON_UNESCAPED_SLASHES is available since PHP 5.4.0.
INSTALL requires PHP 5.3.2 or higher. (https://gerrit.wikimedia.org/r/gitweb?p=mediawiki/core.git;a=blob;f=INSTALL;h=891be7342527f74f7420e64de92de01516b166a3;hb=HEAD)
Is PHP 5.4.0 or higher required?
I use PHP 5.4.11 but I get the error message above. Where is the error?
Version: 1.22.0
Severity: blocker
See Also:
https://bugzilla.wikimedia.org/show_bug.cgi?id=47431