User:PerfektesChaos/js/lintHint/d.js: Difference between revisions

Revision as of 18:16, 18 August 2018

Revision as of 09:20, 25 August 2018

Line 1:

/// User:PerfektesChaos/js/lintHint/d.js

// Show LintErrors analysis live

/// 2018-08-1824 [e-mail]

// ResourceLoader: compatible;

// dependencies: user, mw.API, mediawiki.storage, mediawiki.util

Line 17:

( function ( mw, $ ) {

"use strict";

var Version = -3.45,

Signature = "lintHint",

HINT = { cmodels: { "wikitext": true,

Line 352:

// (LINTER.first)

// (features)

// 2018-0508-2024 [e-mail]

var i, listen, live, re, rls, s;

HINT.signature = "ext.gadget." + Signature;

if ( mw.loader.getState( HINT.signature ) !== "ready" ) {

mw.loader.state(rls HINT.signature,= "ready"{ )};

rls[ HINT.signature ] = "ready";

mw.loader.state( rls );

switch ( mw.config.get( "wgAction" ) ) {

case "view":