From 12d420b7e9fcaf010cb604ca3eaefc6455469d66 Mon Sep 17 00:00:00 2001 From: Ed Sanders Date: Thu, 4 Jan 2018 12:36:55 +0000 Subject: [PATCH] Fix WikiEditor dependencies Change-Id: Ibaa17e581ada5fcb202217797e70f9fed2510ec4 --- resources/ext.CodeMirror.js | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/resources/ext.CodeMirror.js b/resources/ext.CodeMirror.js index 4ab2a729..069861f5 100644 --- a/resources/ext.CodeMirror.js +++ b/resources/ext.CodeMirror.js @@ -447,8 +447,8 @@ // Check if the user is using the enhanced editing toolbar (supplied by the // WikiEditor extension) or the default editing toolbar (supplied by core). if ( wikiEditorToolbarEnabled ) { - // They are using the enhanced editing toolbar. - mw.loader.using( 'ext.wikiEditor.toolbar', function () { + // They are using WikiEditor + mw.loader.using( 'ext.wikiEditor', function () { // Add CodeMirror button to the enhanced editing toolbar. $( addCodeMirrorToWikiEditor ); } );