Fix php coding style