The json shared extension for php