wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-09-24 02:38:40 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fix borked resource module for LabeledElement, and GroupElement.

Browse source 
Change-Id: I2ca8aa4c7e7e7c22f42f22660fdb363dcc8d1f19
This commit is contained in:
Rob Moen 2013-04-02 13:24:45 -07:00
parent 85f6177543
commit 7df0569f63
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

@ -334,8 +334,8 @@ $wgResourceModules += array(
've/ui/ve.ui.Toolbar.js',
've/ui/ve.ui.ToolFactory.js',
've/ui/elements/ve.ui.LabeledWidget.js',
've/ui/elements/ve.ui.GroupWidget.js',
've/ui/elements/ve.ui.LabeledElement.js',
've/ui/elements/ve.ui.GroupElement.js',
've/ui/elements/ve.ui.FlaggableElement.js',
've/ui/widgets/ve.ui.PopupWidget.js',