Content deleted Content added
-4.1 |
-4.2 |
||
Line 1:
/// User:PerfektesChaos/js/lintHint/d.js
///
// Show LintErrors analysis live
// ResourceLoader: compatible;
// dependencies: user, mw.API, mediawiki.storage, mediawiki.util
/// Fingerprint: #0#0#
/// License: CC-by-sa/4.0
/// <nowiki>
/* global window: false */
Line 17:
( function ( mw, $ ) {
"use strict";
var Version = -4.
Signature = "lintHint",
HINT = { cmodels: { "wikitext": true,
Line 619:
// Uses:
// > API.server
// > API.Api▼
// >< API.single
// >< HINT.idRev
Line 629 ⟶ 628:
// (API.fine)
// (API.fault)
//
var idRev = actual,
subject = access
f */;
HINT.launched = true;
if ( typeof subject === "string" ) {
Line 651:
jqXHR.setRequestHeader( "Content-Type",
"application/json" );
}; */
API.page = { /* beforeSend: f, */
dataType: "json" // No "Intelligent Guess"
};
Line 936 ⟶ 935:
// > mw.messages
// > HINT.later
// > BOX.bgcErr
// > HINT.$textarea
Line 951:
// (BOX.find)
// (BOX.future)
//
var n = 0,
e, i, k, par, s, $e, $e2, $e3, $td, $tr;
Line 969:
if ( s ) {
$tr = $( "<tr>" );
$tr.addClass( Signature + "-" + e.type );
$td = $( "<td>" );
$td.css( { "background-color": "#" + BOX.bgcErr } );
Line 1,247 ⟶ 1,248:
// > HINT.$page
// >< BOX.$top
//
var learn = ( ! BOX.$top ),
$e;
Line 1,258 ⟶ 1,259:
$e = $( "<div>" );
$e.css( { "clear": "both" } );
HINT.$page.
}
$apply.addClass( "noprint" );
Line 1,938 ⟶ 1,939:
// (GUIDER.foreign)
// (GUIDER.facet)
//
var $v = $( "head" ),
$e = $v.find( "title" );
Line 2,017 ⟶ 2,018:
"padding": "4px" } )
.hide();
HINT.$page.
HINT.$textarea = GUIDER.$textarea;
mw.loader.using( HINT.using, GUIDER.foreign );
|