A PHP library with many handy functions