Useful helper functions for outputting data in PHP.