my collection of useful PHP functions