A small collection of PHP helper functions