File manager - Edit - /home/theblueo/tv/wp-content/plugins/profile-builder/assets/lib/codemirror/addon/lint/coffeescript-lint.js
Back
// Depends on coffeelint.js from http://www.coffeelint.org/js/coffeelint.js CodeMirror.registerHelper("lint", "coffeescript", function(text) { var found = []; var parseError = function(err) { var loc = err.lineNumber; found.push({from: CodeMirror.Pos(loc-1, 0), to: CodeMirror.Pos(loc, 0), severity: err.level, message: err.message}); }; try { var res = coffeelint.lint(text); for(var i = 0; i < res.length; i++) { parseError(res[i]); } } catch(e) { found.push({from: CodeMirror.Pos(e.location.first_line, 0), to: CodeMirror.Pos(e.location.last_line, e.location.last_column), severity: 'error', message: e.message}); } return found; }); CodeMirror.coffeeValidator = CodeMirror.lint.coffeescript; // deprecated
| ver. 1.4 |
Github
|
.
| PHP 7.0.33 | Generation time: 0.01 |
proxy
|
phpinfo
|
Settings