General PHP utilities.