如何用PHP实现JSON数据的便捷格式化?