jenkins-bot 5f6932c605 Merge "Increase scroll-padding-top for page sections"		2023-03-01 19:46:33 +00:00
..
common	Increase scroll-padding-top for page sections	2023-02-28 14:48:31 -05:00
mediawiki.less	mediawiki.skin.variables: Add border-style and border-width vars	2022-09-23 17:58:42 +00:00
mediawiki.less.legacy	Vector legacy no longer imports variables from Vector modern	2022-08-24 15:08:35 +00:00
skins.vector.es6	Merge "Increase scroll-padding-top for page sections"	2023-03-01 19:46:33 +00:00
skins.vector.js	Prevent addPortletLinkHandler from looping over links twice	2023-02-16 20:05:54 +00:00
skins.vector.legacy.js	Update @wikimedia/types-wikimedia to latest version	2022-03-28 23:33:50 +00:00
skins.vector.search	search: Undo v-i18n-html workaround	2023-01-30 23:54:51 +00:00
skins.vector.styles	Merge "Increase scroll-padding-top for page sections"	2023-03-01 19:46:33 +00:00
skins.vector.styles.legacy	2010: IP masked user icon should differ	2023-02-24 09:04:25 -08:00
CheckboxHack.d.ts	Add enter/spacebar keyboard support to sidebar.	2020-07-09 22:38:15 +02:00
CollapsibleTabsPlugin.d.ts	[JavaScript] Validate types	2020-03-16 09:10:08 -06:00
MediaWikiPageReady.d.ts	Vector manages search functionality and provides config flag	2020-08-04 00:06:31 +00:00
mw.d.ts	Use centralized MediaWiki typescript definition	2021-07-26 21:27:12 +00:00
VectorResourceLoaderVirtualConfig.d.ts	Remove $wgVectorSearchHost, replace with $wgVectorSearchApiUrl	2022-10-07 00:57:58 +00:00
vue.d.ts	Integrate WVUI search into Vector	2020-12-08 13:27:12 -08:00