PHP code formatting