php coding style changes