wikimedia/mediawiki-extensions-WikiEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor synced 2024-09-23 10:26:26 +00:00
Code Issues Packages Projects Releases Wiki Activity

Use lightweight mw.util.getParamValue() instead of mw.Uri()

Browse source 
Change-Id: I27eea6544a7dfe503d0cac1e24228eca9834ca95
This commit is contained in:
Fomafix 2019-07-17 12:45:10 +02:00
parent 2bdd0aa08c
commit 3a306ff7fb
2 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
extension.json
View file

@ -275,6 +275,7 @@
"mediawiki.Title",
"mediawiki.Upload.Dialog",
"mediawiki.user",
"mediawiki.util",
"oojs-ui.styles.icons-content",
"oojs-ui.styles.icons-editing-advanced",
"oojs-ui.styles.icons-editing-citation",

2
modules/ext.wikiEditor.js
View file

@ -10,7 +10,7 @@
saveSuccess: 'save_success',
saveFailure: 'save_failure'
},
trackdebug = !!mw.Uri().query.trackdebug;
trackdebug = !!mw.util.getParamValue( 'trackdebug' );
function log() {
// mw.log is a no-op unless resource loader is in debug mode, so