wikimedia/mediawiki-extensions-CodeEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeEditor synced 2024-11-14 19:14:41 +00:00
Code Issues Packages Projects Releases Wiki Activity

Depend on ext.wikiEditor.toolbar

Browse source 
Depend on ext.wikiEditor.toolbar instead of just ext.wikiEditor since
both are needed, and under certain circumstances the module would try to
initialise before the toolbar component was loaded.

Change-Id: Ie6a725513399815670ff0d24fa394c0b3b3a2a7e
This commit is contained in:
Tim Starling 2012-07-03 13:15:22 +10:00
parent 79bd275867
commit c41ec784f9
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
CodeEditor.php
View file

@ -35,7 +35,7 @@ $tpl = array(
$wgResourceModules['ext.codeEditor'] = array(
'scripts' => 'ext.codeEditor.js',
'dependencies' => array(
'ext.wikiEditor',
'ext.wikiEditor.toolbar',
'jquery.codeEditor'
),
) + $tpl;