JSON 看多了眼花，但是还没找到相关的 php highlight function