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

Fix WikiEditor dependencies

Browse source 
Change-Id: Ibaa17e581ada5fcb202217797e70f9fed2510ec4
This commit is contained in:
Ed Sanders 2018-01-04 12:36:55 +00:00
parent e3f0df1cfc
commit 12d420b7e9
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
resources/ext.CodeMirror.js
View file

@ -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 );
} );