Update php.json