A set of utilities to use with PHP