php常用公用函数