Miscellaneous utilites for PHP