WP File Manager

Name	Action
..
diff.css	Edit
diff.js	Edit
index.html	Edit

Editing: diff.js

CodeMirror.defineMode("diff", function() { return { token: function(stream) { var ch = stream.next(); stream.skipToEnd(); if (ch == "+") return "diff-plus"; if (ch == "-") return "diff-minus"; if (ch == "@") return "diff-rangeinfo"; } }; }); CodeMirror.defineMIME("text/x-diff", "diff");