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 });



Download modules/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'.