Rename php.json to php55.json