Update php.properties