mediawiki-extensions-Visual.../modules/ve-mw/ui/styles
Bartosz Dziewoński 6840ac4dd1 ve.ui.MWSaveDialog: Remove unnecessary margin after last checkbox
Patch proposed on T196375 by Jack_who_built_the_house.

Bug: T196375
Change-Id: I30548650eab3d14e7c0de29c954ededcfa44648a
2018-06-08 09:57:01 +00:00
..
apex Use OOUI 'markup' icon instead of local 'alienextension' 2018-03-20 17:27:54 +00:00
contextitems Fix the image sizes in ve.ui.MWInternalLinkContextItem 2018-03-22 17:03:19 +00:00
dialogs ve.ui.MWSaveDialog: Remove unnecessary margin after last checkbox 2018-06-08 09:57:01 +00:00
elements Add missing mw-content-(dir) class to MWPreviewElement 2018-05-11 16:59:12 +00:00
images/icons Update icons for new 20px grid 2018-03-20 20:03:11 +00:00
inspectors
pages CategoriesPage: Remove unnecessary input widget width 2018-05-16 18:04:08 +01:00
tools ve.ui.MWPopupTool: Allow labels of buttons in help menu to wrap 2018-03-27 12:31:24 +02:00
widgets Fix layout of media info fields 2018-03-22 22:15:52 +00:00
wikimediaui Use OOUI 'markup' icon instead of local 'alienextension' 2018-03-20 17:27:54 +00:00
ve.ui.MWWikitextSurface.css