mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-16 02:51:50 +00:00
2ea9437e32
Replaced uses of extendObject with $.extend . Replaced the one use of OO.ui.indexOf with Array.prototype.indexOf because that's what everything else was already using. Change-Id: I63f40989057b8065ec977efafbf68d6e22c8e679 |
||
---|---|---|
.. | ||
OO.ui.ButtonWidget.js | ||
OO.ui.IconButtonWidget.js | ||
OO.ui.InputLabelWidget.js | ||
OO.ui.InputWidget.js | ||
OO.ui.LookupInputWidget.js | ||
OO.ui.MenuItemWidget.js | ||
OO.ui.MenuSectionItemWidget.js | ||
OO.ui.MenuWidget.js | ||
OO.ui.OptionWidget.js | ||
OO.ui.OutlineControlsWidget.js | ||
OO.ui.OutlineItemWidget.js | ||
OO.ui.OutlineWidget.js | ||
OO.ui.PopupButtonWidget.js | ||
OO.ui.PopupWidget.js | ||
OO.ui.PushButtonWidget.js | ||
OO.ui.SearchWidget.js | ||
OO.ui.SelectWidget.js | ||
OO.ui.TextInputMenuWidget.js | ||
OO.ui.TextInputWidget.js |