Fix PHP code style