jenkins-bot d2e723daf9 Merge "Random link in main menu can be customised"		2019-07-08 23:43:31 +00:00
..
menu	Merge "Random link in main menu can be customised"	2019-07-08 23:43:31 +00:00
permissions	MinervaPermissions must respect $wgHideInterlanguageLinks config	2019-06-21 18:59:50 +00:00
skins	Merge "Hygiene: extract ToggleList to a reusable component"	2019-07-05 00:27:11 +00:00
MinervaHooks.php	Add hook to override SkinOptions, and allow overriding tabs output	2019-06-04 10:24:30 -04:00
MinervaUI.php	Add GPL file header to PHP classes	2018-04-15 16:23:10 -07:00
ResourceLoaderLessVarFileModule.php	Add GPL file header to PHP classes	2018-04-15 16:23:10 -07:00
ServiceWiring.php	Merge "Add contributions link to toolbar on User pages"	2019-07-04 20:38:36 +00:00
SkinOptions.php	Define default OPTION_TABS_ON_SPECIALS option	2019-06-07 11:44:53 +00:00