A little PHP library with some tools