Content deleted Content added
0.9.145 pre testing |
Maintenance: Remove use of deprecated wgEnableAPI (always true) - mw:RL/MGU |
||
(One intermediate revision by one other user not shown) | |||
Line 2,039:
// parse global-context (MediaWiki) variables into hash (for Greasemonkey)
var globalNames = ['skin', 'wgServer', 'wgTitle', 'wgCanonicalNamespace', 'wgArticlePath', 'wgScript', 'wgScriptPath', 'wgUserName', 'wgCurRevisionId', 'wgContentLanguage', 'wgUserLanguage
if (wikEd.greasemonkey === true) {
globalNames.push('wikEdConfig', 'wikEdText');
Line 3,496:
if (wikEd.fixRegExTypo !== null) {
wikEd.fixRegExTypo.style.display = 'none';
}
Line 8,547 ⟶ 8,539:
// check for named references defined outside edited section
if (
true
) {
Line 8,634 ⟶ 8,625:
// API request
if (
// get summary
Line 8,834 ⟶ 8,825:
}
}
/*
// load media player modules and activate media elements
if ( wikEd.loader === true ) {
Line 8,880 ⟶ 8,871:
} );
}
*/
// fire mediawiki hook to apply changes to preview content: <categorytree>, <math>
if ( window.mw !== undefined && window.mw.hook !== undefined && window.mw.hook( 'wikipage.content' ).fire !== undefined ) {
Line 10,876 ⟶ 10,867:
// check if api is enabled
if
return;
}
|