Formatting PHP code