wikimedia/mediawiki-extensions-WikiEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor synced 2024-11-14 11:19:08 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fix call to renamed var

Browse source 
The var 'module' got renamed to 'm' in
I57b11c6b4c6e67bb38bb67a93b06d6d1d3009933. This patch fixes the
call to it.

Bug: T284716
Change-Id: I57b7a5fd4a8f2fe2fa98ab5fc41c5bd2500f3a67
This commit is contained in:
Alexander Vorwerk 2021-06-10 11:11:44 +02:00
parent bb8af787cf
commit cdb9388b93
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
modules/jquery.wikiEditor.js
View file

@ -548,7 +548,7 @@
// Activate all required core extensions on context
for ( var extension in $.wikiEditor.extensions ) {
if (
$.wikiEditor.isRequired( $.wikiEditor.modules[ module ], extension ) &&
$.wikiEditor.isRequired( $.wikiEditor.modules[ m ], extension ) &&
context.extensions.indexOf( extension ) === -1
) {
context.extensions[ context.extensions.length ] = extension;