wikimedia/mediawiki-extensions-CodeMirror
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror synced 2024-11-23 22:03:28 +00:00
Code Issues Packages Projects Releases Wiki Activity

Don't break codemirror if wikEdDiff is enabled, only if wikEd is enabled

Browse source 
Bug: T178348
Change-Id: If579d4da99f364e73dec5a7e6bed87019431386b
This commit is contained in:
Niharika Kohli 2017-12-05 19:15:12 +05:30
parent 6849149d80
commit a6c9441490
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
resources/ext.CodeMirror.js
View file

@ -302,7 +302,7 @@
// If CodeMirror is already loaded or wikEd gadget is enabled, abort. See T178348.
// FIXME: Would be good to replace the wikEd check with something more generic.
if ( codeMirror || window.wikEd !== undefined ) {
if ( codeMirror || mw.user.options.get( 'gadget-wikEd' ) > 0 ) {
return;
}