wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-09-27 12:16:51 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/oojs-ui
History
Roan Kattouw 45cd09ad8b Document the 'small' config option in OO.ui.Dialog 
Change-Id: I55f439ae348279a9a9289c113de4802719166964
2013-10-29 05:49:55 +00:00
..
elements Split oojs-ui from ve.ui 2013-10-28 22:40:08 -07:00
layouts Split oojs-ui from ve.ui 2013-10-28 22:40:08 -07:00
styles Split oojs-ui from ve.ui 2013-10-28 22:40:08 -07:00
test Split oojs-ui from ve.ui 2013-10-28 22:40:08 -07:00
toolgroups Split oojs-ui from ve.ui 2013-10-28 22:40:08 -07:00
widgets Split oojs-ui from ve.ui 2013-10-28 22:40:08 -07:00
OO.ui.Dialog.js Document the 'small' config option in OO.ui.Dialog 2013-10-29 05:49:55 +00:00
OO.ui.DialogFactory.js Split oojs-ui from ve.ui 2013-10-28 22:40:08 -07:00
OO.ui.Element.js Split oojs-ui from ve.ui 2013-10-28 22:40:08 -07:00
OO.ui.Frame.js Split oojs-ui from ve.ui 2013-10-28 22:40:08 -07:00
OO.ui.Inspector.js Split oojs-ui from ve.ui 2013-10-28 22:40:08 -07:00
OO.ui.InspectorFactory.js Split oojs-ui from ve.ui 2013-10-28 22:40:08 -07:00
OO.ui.js Split oojs-ui from ve.ui 2013-10-28 22:40:08 -07:00
OO.ui.Layout.js Split oojs-ui from ve.ui 2013-10-28 22:40:08 -07:00
OO.ui.Tool.js Split oojs-ui from ve.ui 2013-10-28 22:40:08 -07:00
OO.ui.Toolbar.js Split oojs-ui from ve.ui 2013-10-28 22:40:08 -07:00
OO.ui.ToolFactory.js Split oojs-ui from ve.ui 2013-10-28 22:40:08 -07:00
OO.ui.ToolGroup.js Split oojs-ui from ve.ui 2013-10-28 22:40:08 -07:00
OO.ui.Widget.js Split oojs-ui from ve.ui 2013-10-28 22:40:08 -07:00
OO.ui.Window.js Split oojs-ui from ve.ui 2013-10-28 22:40:08 -07:00
OO.ui.WindowSet.js Split oojs-ui from ve.ui 2013-10-28 22:40:08 -07:00