/*! For license information please see jsoneditor.js.LICENSE.txt */
