mediawiki-extensions-Visual.../modules/ve-mw/ui/styles
Ed Sanders 9f5944af9e ve.ui.MWTargetWidget: Remove top margin in Vector 2022
Change-Id: I3d079a9e1b44821180c849c2c018a2314b2e089e
2022-08-11 14:27:53 +01:00
..
apex Remove obsolete "search for a parameter" page and widgets 2022-06-17 10:23:00 +02:00
contextitems
dialogs Lessy-fying OutlineTemplateWidget rules 2022-07-08 13:33:23 +02:00
elements Template dialog: Fix oval help button 2022-07-19 13:01:43 +02:00
images Remove obsolete "search for a parameter" page and widgets 2022-06-17 10:23:00 +02:00
inspectors ve.ui.MWLinkAnnotationInspector: Prevent long sitenames from messing up the layout 2022-06-01 23:34:19 +02:00
layouts Merge "Drop StackLayout" 2022-07-07 13:17:08 +00:00
pages Adapt bottom margin of last element in content pane of template dialog 2022-07-14 15:56:47 +02:00
tools ve.ui.MWTargetWidget: Remove top margin in Vector 2022 2022-08-11 14:27:53 +01:00
widgets Streamline button margin calculation for outline parts 2022-08-03 13:09:51 +02:00
wikimediaui Remove obsolete "search for a parameter" page and widgets 2022-06-17 10:23:00 +02:00
ve.ui.MWWikitextSurface.css Override default source mode font in placeholders too 2021-09-09 22:30:38 +02:00