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

Merge "Fix WikiEditor dependencies"

Browse source
This commit is contained in:
jenkins-bot 2018-01-04 16:30:22 +00:00 committed by Gerrit Code Review
parent 9df6ec9df8 12d420b7e9
commit f3f82ae47a
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

@ -453,8 +453,8 @@
// Check if the user is using the enhanced editing toolbar (supplied by the // Check if the user is using the enhanced editing toolbar (supplied by the
// WikiEditor extension) or the default editing toolbar (supplied by core). // WikiEditor extension) or the default editing toolbar (supplied by core).
if ( wikiEditorToolbarEnabled ) { if ( wikiEditorToolbarEnabled ) {
// They are using the enhanced editing toolbar. // They are using WikiEditor
mw.loader.using( 'ext.wikiEditor.toolbar', function () { mw.loader.using( 'ext.wikiEditor', function () {
// Add CodeMirror button to the enhanced editing toolbar. // Add CodeMirror button to the enhanced editing toolbar.
$( addCodeMirrorToWikiEditor ); $( addCodeMirrorToWikiEditor );
} ); } );