A normalization of PHP functions