jenkins-bot 2670c08817 Merge "Move indicators underneath `#firstHeading` in DOM"		2020-04-07 01:23:05 +00:00
..
skins.vector.js	[JavaScript] Validate types	2020-03-16 09:10:08 -06:00
skins.vector.styles	Merge "Move indicators underneath `#firstHeading` in DOM"	2020-04-07 01:23:05 +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	Dev: Vector is rearranged like other skins and extensions	2020-01-28 16:57:38 +08:00