Fixing php coding style errors