jenkins-bot 4a3d83d087 Merge "Rename confusing "isSet" to "active page indicator""		2022-07-20 10:04:58 +00: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
widgets	Rename confusing "isSet" to "active page indicator"	2022-07-20 09:38:41 +00: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