'; print "'; } function sqlEditorJs($min, $id, $frameId, $init='') { if ($min) print $id.' = CodeMirror.fromTextArea("'.$id.'", { basefiles: ["js/min/codemirror_base.js"],'; else print $id.' = CodeMirror.fromTextArea("'.$id.'", { parserfile: "mysql.js", path: "js/editor/",'; print 'iframeId: "'.$frameId.'", iframeClass: "sqlEditFrame", autoMatchParens: true, height: "100%", tabMode : "default", stylesheet: "cache.php?css=editor", lineNumbers: true, tabFunction : function() { document.getElementById("nav_query").focus(); }, onLoad : function() { '.$init.' } });'; } ?>