| Server IP : 172.67.191.97 / Your IP : 104.23.197.208 Web Server : Apache/2.4.63 (Ubuntu) System : Linux adminpruebas-Virtual-Machine 6.14.0-37-generic #37-Ubuntu SMP PREEMPT_DYNAMIC Fri Nov 14 22:10:32 UTC 2025 x86_64 User : www-data ( 33) PHP Version : 8.4.5 Disable Function : NONE MySQL : OFF | cURL : ON | WGET : ON | Perl : ON | Python : OFF | Sudo : ON | Pkexec : ON Directory : /var/www/html/pregrados/ingenieria-sistemas/media/vendor/codemirror/addon/lint/ |
Upload File : |
(function(r){typeof exports=="object"&&typeof module=="object"?r(require("../../lib/codemirror"),require("htmlhint")):typeof define=="function"&&define.amd?define(["../../lib/codemirror","htmlhint"],r):r(CodeMirror,window.HTMLHint)})(function(r,e){"use strict";var f={"tagname-lowercase":!0,"attr-lowercase":!0,"attr-value-double-quotes":!0,"doctype-first":!1,"tag-pair":!0,"spec-char-escape":!0,"id-unique":!0,"src-not-empty":!0,"attr-no-duplication":!0};r.registerHelper("lint","html",function(l,n){var o=[];if(e&&!e.verify&&(typeof e.default<"u"?e=e.default:e=e.HTMLHint),e||(e=window.HTMLHint),!e)return window.console&&window.console.error("Error: HTMLHint not found, not defined on window, or not available through define/require, CodeMirror HTML linting cannot run."),o;for(var u=e.verify(l,n&&n.rules||f),i=0;i<u.length;i++){var t=u[i],a=t.line-1,d=t.line-1,c=t.col-1,s=t.col;o.push({from:r.Pos(a,c),to:r.Pos(d,s),message:t.message,severity:t.type})}return o})});