Content deleted Content added
-2.3 |
-2.4 |
||
Line 1:
/// Gadget-pageLinkHelper.js
// Some minor link helpers
///
// ResourceLoader: compatible;
// dependencies: user, user.options,
Line 14:
( function ( mw, $ ) {
"use strict";
var Version = -2.
Sign = "pageLinkHelper",
Signature = "ext.gadget." + Sign,
Line 440:
// mw.loader.using()
// (OPTS.fire)
//
var rls;
if ( mw.loader.getState( Signature ) !== "ready" ) {
rls = { };
rls[ Signature ] = "ready";
mw.loader.state( rls );
mw.loader.state( Signature, "ready" );
mw.loader.using( [ "mediawiki.api",
Line 1,499 ⟶ 1,503:
fire();
}( window.mediaWiki, window.jQuery ) );
/// EOF </nowiki> pageLinkHelper/d.js
|