mediawiki-extensions-Visual.../modules/ve-mw/ui/styles
James D. Forrester 3c9a361da0 MWMediaDialog: Add a margin back to the border checkbox
This was removed upstream in OOUI as unecessary in general, but clearly
this was the place for which the rule had been designed. :-)

Bug: T119547
Change-Id: I46a1df1141c337b436e66872f1a8cdae026816cd
2015-12-02 18:28:18 -08:00
..
contextitems Update VE core submodule to master (1191940) 2015-08-18 11:24:08 -07:00
dialogs MWMediaDialog: Add a margin back to the border checkbox 2015-12-02 18:28:18 -08:00
elements Make new error element 2015-10-29 22:32:42 +00:00
images/icons MWMediaDialog: Use OOUI's 'clock' icon rather than a home-brew one 2015-11-24 18:40:13 -08:00
inspectors MWLinkAnnotationInspector: Use IndexLayout for internal/external 2015-10-10 13:02:16 +01:00
pages
tools Restructure education popup code to work without overriding onSelect 2015-11-09 23:18:01 +00:00
widgets AceEditorWidget: Make setters chainable and support invalid flag 2015-10-27 19:02:17 +00:00
ve.ui.Icons.css MWMediaDialog: Use OOUI's 'clock' icon rather than a home-brew one 2015-11-24 18:40:13 -08:00