各种php的工具类