Reformated PHP code