jenkins-bot 23393d3685 Merge "Fix portal heading border in Safari"		2020-06-09 20:54:26 +00:00
..
skins.vector.icons	[fix][RTL] flip menu collapse button icon	2020-06-03 17:09:38 -06:00
skins.vector.js	[fix][Less] disable sidebar animations on page load	2020-06-09 12:18:59 -06:00
skins.vector.legacy.js	Fix bug: "dancing vector tabs"	2020-06-01 20:02:28 +00:00
skins.vector.styles	Merge "Fix portal heading border in Safari"	2020-06-09 20:54:26 +00:00
CheckboxHack.d.ts	[feature] add menu button to toggle panel visibility	2020-05-28 02:14:13 +00:00
CollapsibleTabsPlugin.d.ts	[JavaScript] Validate types	2020-03-16 09:10:08 -06:00
mediawiki.d.ts	[JavaScript] Validate types	2020-03-16 09:10:08 -06:00
skins.vector.styles.responsive.less	Reduce distribution of legacy classes	2020-05-26 20:22:08 +00:00