fixed property order in php.json