fix php style