Allow the system to work without php_json extension