php格式化json函数示例代码