jenkins-bot 63d9d37777 Merge "Revert "Move indicators underneath `#firstHeading` in DOM""		2020-04-08 13:56:49 +00:00
..
skins.vector.js	[JavaScript] Validate types	2020-03-16 09:10:08 -06:00
skins.vector.styles	Merge "Revert "Move indicators underneath `#firstHeading` in DOM""	2020-04-08 13:56:49 +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