| Apache Linux webd001.cluster107.gra.hosting.ovh.net 5.15.167-ovh-vps-grsec-zfs-classid #1 SMP Tue Sep 17 08:14:20 UTC 2024 x86_64 uid=2234(oyaide) gid=100(users) groups=100(users) server ip : 213.186.33.18 | your ip : 216.73.216.136 safemode OFF > / home / oyaide / www / moycompany.com / piwigo2 / plugins / LocalFilesEditor / codemirror / mode / diff / |
| Filename | /home/oyaide/www/moycompany.com/piwigo2/plugins/LocalFilesEditor/codemirror/mode/diff/diff.js |
| Size | 331 |
| Permission | rwxr-xr-x |
| Owner | oyaide : users |
| Create time | 11-Mar-2016 09:45 |
| Last modified | 08-Mar-2016 15:46 |
| Last accessed | 08-Mar-2016 15:46 |
| Actions | edit | rename | delete | download (gzip) |
| View | text | code | image |
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");
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");