jenkins-bot 11525af55e Merge "Introduce new SingleMenuEntry"		2019-06-14 14:18:51 +00:00
..
menu	Merge "Introduce new SingleMenuEntry"	2019-06-14 14:18:51 +00:00
skins	Merge "Introduce new SingleMenuEntry"	2019-06-14 14:18:51 +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	Hygiene: Use PermissionsManager instead of deprecated methods	2019-06-05 21:12:10 +02:00
SkinOptions.php	Define default OPTION_TABS_ON_SPECIALS option	2019-06-07 11:44:53 +00:00