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

Move ve.init and ve.init.Platform to the base module, where they belong

Browse source 
Change-Id: I4547bbaa784401a6ca158daac787af23b50715c7
This commit is contained in:
Catrope 2012-07-27 16:08:45 -07:00
parent aabdb8dfba
commit 595dfc0615
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
VisualEditor.php
View file

@ -57,8 +57,6 @@ $wgResourceModules += array(
),
'ext.visualEditor.viewPageTarget' => $wgVisualEditorResourceTemplate + array(
'scripts' => array(
've/init/ve.init.js',
've/init/ve.init.Platform.js',
've/init/mw/ve.init.mw.js',
've/init/mw/ve.init.mw.Platform.js',
've/init/mw/ve.init.mw.Target.js',
@ -102,6 +100,8 @@ $wgResourceModules += array(
'jquery/jquery.json.js',
've/ve.js',
've/ve.EventEmitter.js',
've/init/ve.init.js',
've/init/ve.init.Platform.js',
),
'debugScripts' => array(
've/ve.debug.js',