Adding support for php5-json