JS的jsoneditor，用来操作Json格式的界面