jenkins-bot has submitted this change and it was merged.
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(-)
Approvals:
Trevor Parscal: Looks good to me, approved
jenkins-bot: Verified
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: merged
Gerrit-Change-Id: I2ca8aa4c7e7e7c22f42f22660fdb363dcc8d1f19
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/VisualEditor
Gerrit-Branch: master
Gerrit-Owner: Robmoen <rm...@wikimedia.org>
Gerrit-Reviewer: Trevor Parscal <tpars...@wikimedia.org>
Gerrit-Reviewer: jenkins-bot
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
