trAvis - MANAGER

Edit File: xml_editor.js

/** * XML editor plugin * * @package PhpMyAdmin */ AJAX.registerOnload('transformations/xml_editor.js', function () { $('textarea.transform_xml_editor').each(function () { CodeMirror.fromTextArea(this, { lineNumbers: true, indentUnit: 4, mode: 'application/xml', lineWrapping: true }); }); });