jenkins-bot 21932c9800 Merge "Work around browser inconsistencies with 'clear' + 'margin-top'"		2023-02-14 19:43:38 +00:00
..
common	Make space between top of TOC/Page tools and top of viewport/bottom of sticky header 30px	2023-02-10 19:43:05 +00:00
mediawiki.less	mediawiki.skin.variables: Add border-style and border-width vars	2022-09-23 17:58:42 +00:00
mediawiki.less.legacy
skins.vector.es6	Additional FIXME cleanup relating to moving feature classes from body	2023-02-08 10:49:13 -06:00
skins.vector.js	Improve wikibase interlanguage link styles	2023-02-03 14:14:08 -05:00
skins.vector.legacy.js
skins.vector.search	search: Fix unclickable search footer	2023-01-30 18:18:29 +00:00
skins.vector.styles	Merge "Work around browser inconsistencies with 'clear' + 'margin-top'"	2023-02-14 19:43:38 +00:00
skins.vector.styles.legacy	Add default width and max width to dropdowns in modern Vector, preserve existing styles for legacy Vector	2023-01-12 11:45:13 -06:00
CheckboxHack.d.ts
CollapsibleTabsPlugin.d.ts
MediaWikiPageReady.d.ts
mw.d.ts
VectorResourceLoaderVirtualConfig.d.ts	Remove $wgVectorSearchHost, replace with $wgVectorSearchApiUrl	2022-10-07 00:57:58 +00:00
vue.d.ts