Stop PhpStorm metadata from being tracked by Git
Allow the system to work without php_json extension

A simple and somewhat incomplete shim for json_* functions of the
php_json extension which isn't installed by default in some Debian-based
distros.