PHP code reformat