mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-29 08:34:54 +00:00
52529d790b
By making the API for adding/removing/clearing always plural, it greatly simplifies the interfaces and reduces function call overhead in most situations. Change-Id: Ia8f23a373a01a8f6d5081587a591563e4f25ea42 |
||
---|---|---|
.. | ||
ve.ui.FlaggableElement.js | ||
ve.ui.GroupElement.js | ||
ve.ui.LabeledElement.js |