From a6c94414903db4efa0f17842ca1a5d8e257714a6 Mon Sep 17 00:00:00 2001
From: Niharika Kohli <niharikakohli29@gmail.com>
Date: Tue, 5 Dec 2017 19:15:12 +0530
Subject: [PATCH] Don't break codemirror if wikEdDiff is enabled, only if wikEd
 is enabled

Bug: T178348
Change-Id: If579d4da99f364e73dec5a7e6bed87019431386b
---
 resources/ext.CodeMirror.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/resources/ext.CodeMirror.js b/resources/ext.CodeMirror.js
index c0770e06..03a84f01 100644
--- a/resources/ext.CodeMirror.js
+++ b/resources/ext.CodeMirror.js
@@ -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;
 			}