Robmoen has uploaded a new change for review.
https://gerrit.wikimedia.org/r/57179
Change subject: Fix borked resource module for LabeledElement, and GroupElement.
......................................................................
Fix borked resource module for LabeledElement, and GroupElement.
Change-Id: I2ca8aa4c7e7e7c22f42f22660fdb363dcc8d1f19
---
M VisualEditor.php
1 file changed, 2 insertions(+), 2 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/VisualEditor
refs/changes/79/57179/1
diff --git a/VisualEditor.php b/VisualEditor.php
index c8b0fd6..a565683 100644
--- a/VisualEditor.php
+++ b/VisualEditor.php
@@ -334,8 +334,8 @@
'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',
--
To view, visit https://gerrit.wikimedia.org/r/57179
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I2ca8aa4c7e7e7c22f42f22660fdb363dcc8d1f19
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/VisualEditor
Gerrit-Branch: master
Gerrit-Owner: Robmoen <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits