Reformat PHP