Use PHP code formatting for examples