jenkins-bot has submitted this change and it was merged.
Change subject: GroupElement: Add description
......................................................................
GroupElement: Add description
Change-Id: I50371de335ebef633e03f5412ae36f947d72e34d
---
M src/elements/GroupElement.js
1 file changed, 6 insertions(+), 1 deletion(-)
Approvals:
Jforrester: Looks good to me, approved
jenkins-bot: Verified
diff --git a/src/elements/GroupElement.js b/src/elements/GroupElement.js
index f09513f..0abd8b8 100644
--- a/src/elements/GroupElement.js
+++ b/src/elements/GroupElement.js
@@ -1,5 +1,10 @@
/**
- * Element containing a sequence of child elements.
+ * Any OOjs UI widget that contains other widgets (such as {@link
OO.ui.ButtonWidget buttons} or
+ * {@link OO.ui.OptionWidget options}) mixes in GroupElement. Adding,
removing, and clearing
+ * items from the group is done through the interface the class provides.
+ * For more information, please see the [OOjs UI documentation on MediaWiki]
[1].
+ *
+ * [1]: https://www.mediawiki.org/wiki/OOjs_UI/Elements/Groups
*
* @abstract
* @class
--
To view, visit https://gerrit.wikimedia.org/r/191203
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I50371de335ebef633e03f5412ae36f947d72e34d
Gerrit-PatchSet: 1
Gerrit-Project: oojs/ui
Gerrit-Branch: master
Gerrit-Owner: Kmenger <[email protected]>
Gerrit-Reviewer: Jforrester <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
