jenkins-bot 15a30c26f8 Merge "[feature] add menu button to toggle panel visibility"		2020-05-28 02:57:14 +00:00
..
skins.vector.icons	[feature] add menu button to toggle panel visibility	2020-05-28 02:14:13 +00:00
skins.vector.js	[feature] add menu button to toggle panel visibility	2020-05-28 02:14:13 +00:00
skins.vector.legacy.js	Refactor: Simplify and standardize menu definitions	2020-05-12 15:17:38 -07:00
skins.vector.styles	Merge "[feature] add menu button to toggle panel visibility"	2020-05-28 02:57:14 +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