File modules/editor/codemirror/addon/lint/html-lint.min.js
Last commit: Tue May 22 22:39:53 2018 +0200 Jan Dankert Fix für PHP 7.2: 'Object' darf nun nicht mehr als Klassennamen verwendet werden. AUCH NICHT IN EINEM NAMESPACE! WTF, wozu habe ich das in einen verfickten Namespace gepackt? Wozu soll der sonst da sein??? Amateure. Daher nun notgedrungen unbenannt in 'BaseObject'.
1 // CodeMirror, copyright (c) by Marijn Haverbeke and others 2 // Distributed under an MIT license: http://codemirror.net/LICENSE 3 4 // Depends on htmlhint.js from http://htmlhint.com/js/htmlhint.js 5 6 // declare global: HTMLHint 7 8 (function(mod) { 9 if (typeof exports == "object" && typeof module == "object") // CommonJS 10 mod(require("../../lib/codemirror"), require("htmlhint")); 11 else if (typeof define == "function" && define.amd) // AMD 12 define(["../../lib/codemirror", "htmlhint"], mod); 13 else // Plain browser env 14 mod(CodeMirror, window.HTMLHint); 15 })(function(CodeMirror, HTMLHint) { 16 "use strict"; 17 18 var defaultRules = { 19 "tagname-lowercase": true, 20 "attr-lowercase": true, 21 "attr-value-double-quotes": true, 22 "doctype-first": false, 23 "tag-pair": true, 24 "spec-char-escape": true, 25 "id-unique": true, 26 "src-not-empty": true, 27 "attr-no-duplication": true 28 }; 29 30 CodeMirror.registerHelper("lint", "html", function(text, options) { 31 var found = []; 32 if (HTMLHint && !HTMLHint.verify) HTMLHint = HTMLHint.HTMLHint; 33 if (!HTMLHint) HTMLHint = window.HTMLHint; 34 if (!HTMLHint) { 35 if (window.console) { 36 window.console.error("Error: HTMLHint not found, not defined on window, or not available through define/require, CodeMirror HTML linting cannot run."); 37 } 38 return found; 39 } 40 var messages = HTMLHint.verify(text, options && options.rules || defaultRules); 41 for (var i = 0; i < messages.length; i++) { 42 var message = messages[i]; 43 var startLine = message.line - 1, endLine = message.line - 1, startCol = message.col - 1, endCol = message.col; 44 found.push({ 45 from: CodeMirror.Pos(startLine, startCol), 46 to: CodeMirror.Pos(endLine, endCol), 47 message: message.message, 48 severity : message.type 49 }); 50 } 51 return found; 52 }); 53 });
Downloadmodules/editor/codemirror/addon/lint/html-lint.min.js
History Tue, 22 May 2018 22:39:53 +0200 Jan Dankert Fix für PHP 7.2: 'Object' darf nun nicht mehr als Klassennamen verwendet werden. AUCH NICHT IN EINEM NAMESPACE! WTF, wozu habe ich das in einen verfickten Namespace gepackt? Wozu soll der sonst da sein??? Amateure. Daher nun notgedrungen unbenannt in 'BaseObject'.