Useful tools in one place. My own PHP standard library