Some useful PHP functions.