Enhanced PHP File Manager

⬆️ Go Up (..)

📊 Server Information

Server:

Apache

System:

Linux 4.18.0-553.100.1.el8_10.x86_64

PHP Version:

7.2.34

User:

jaindirectory

Directory:

/home/jaindirectory/www/assets/libraries/codemirror/demo

Free Space:

30.57 GB

🔧 Quick Actions

✏️ Editing: loadmode.html

<!doctype html>

<title>CodeMirror: Lazy Mode Loading Demo</title>

.CodeMirror {border-top: 1px solid black; border-bottom: 1px solid black;}

</style>

<a href="http://codemirror.net"><h1>CodeMirror</h1><img id=logo src="../doc/logo.png"></a>

<ul>

<li><a href="../doc/manual.html">Manual</a>

</ul>

<ul>

<li><a class=active href="#">Lazy Mode Loading</a>

</ul>

</div>

<h2>Lazy Mode Loading Demo</h2>

<p style="color: gray">Current mode: <span id="modeinfo">text/plain</span></p>

<form><textarea id="code" name="code">This is the editor.

// It starts out in plain text mode,

#  use the control below to load and apply a mode

"you'll see the highlighting of" this text /*change*/.

</textarea></form>

<p>Filename, mime, or mode name: <input type=text value=foo.js id=mode> <button type=button onclick="change()">change mode</button></p>

CodeMirror.modeURL = "../mode/%N/%N.js";

var editor = CodeMirror.fromTextArea(document.getElementById("code"), {

lineNumbers: true

});

var modeInput = document.getElementById("mode");

CodeMirror.on(modeInput, "keypress", function(e) {

if (e.keyCode == 13) change();

});

function change() {

var val = modeInput.value, m, mode, spec;

if (m = /.+\.([^.]+)$/.exec(val)) {

var info = CodeMirror.findModeByExtension(m[1]);

if (info) {

mode = info.mode;

spec = info.mime;

}

} else if (/\//.test(val)) {

var info = CodeMirror.findModeByMIME(val);

if (info) {

mode = info.mode;

spec = val;

}

} else {

mode = spec = val;

}

if (mode) {

editor.setOption("mode", spec);

CodeMirror.autoLoadMode(editor, mode);

document.getElementById("modeinfo").textContent = spec;

} else {

alert("Could not find a mode corresponding to " + val);

}

</script>

</article>

❌ Cancel

🗂️ Enhanced PHP File Manager

📊 Server Information

🔧 Quick Actions

✏️ Editing: loadmode.html

📤 Upload File

📁 Create Folder

📄 Create File

✏️ Rename Item

🗑️ Delete Confirmation