mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-29 00:30:44 +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.BarToolGroup.js | ||
OO.ui.ListToolGroup.js | ||
OO.ui.MenuToolGroup.js | ||
OO.ui.PopupToolGroup.js |