wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-15 18:39:52 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/oojs-ui/styles
History
jenkins-bot 1fe57b4844 Merge "Add OO.ui.ToggleWidget"
2013-11-13 00:58:19 +00:00
..
images Split oojs-ui from ve.ui 2013-10-28 22:40:08 -07:00
OO.ui.css Split oojs-ui from ve.ui 2013-10-28 22:40:08 -07:00
OO.ui.Dialog.css Split oojs-ui from ve.ui 2013-10-28 22:40:08 -07:00
OO.ui.Element.css Split oojs-ui from ve.ui 2013-10-28 22:40:08 -07:00
OO.ui.Frame.css Split oojs-ui from ve.ui 2013-10-28 22:40:08 -07:00
OO.ui.Icons-raster.css Split oojs-ui from ve.ui 2013-10-28 22:40:08 -07:00
OO.ui.Icons-vector.css Split oojs-ui from ve.ui 2013-10-28 22:40:08 -07:00
OO.ui.Layout.css Split oojs-ui from ve.ui 2013-10-28 22:40:08 -07:00
OO.ui.Tool.css Add OO.ui.PopupTool 2013-10-29 05:57:40 +00:00
OO.ui.Toolbar.css Use a toolbar for the actions buttons in ve.init.mw.ViewPageTarget 2013-10-29 05:57:52 +00:00
OO.ui.ToolGroup.css Make tools disable correctly 2013-11-12 12:13:56 -08:00
OO.ui.Widget.css Add OO.ui.ToggleWidget 2013-11-12 16:54:35 -08:00
OO.ui.Window.css Split oojs-ui from ve.ui 2013-10-28 22:40:08 -07:00