A set of simple utils in php