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

Revision as of 00:00, 8 July 2018

Revision as of 18:16, 18 August 2018

Line 1:

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

// Show LintErrors analysis live

/// 2018-0708-0618 [e-mail]

// ResourceLoader: compatible;

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

Line 17:

( function ( mw, $ ) {

"use strict";

var Version = -3.34,

Signature = "lintHint",

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

Line 589:

API.first = function () {

// Initialize API

// Uses:

// >< API.site

Line 941 ⟶ 942:

// (BOX.find)

// (BOX.future)

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

var n = 0,

e, i, k, par, s, $e, $e2, $e3, $td, $tr;

Line 981 ⟶ 982:

if ( typeof par.name === "string" ) {

$td.text( par.name );

} else if ( typeof par.subtype === "string" ) {

$td.text( par.subtype );

} else if ( typeof par.root === "string" &&

typeof par.child === "string" ) {

Line 1,352 ⟶ 1,355:

CODMIRROR.first = function () {

// Check whether CodeMirror is activated

// Uses:

// > window.CodeMirror