用PHP做的一些小工具