jenkins-bot 48c3aa0662 Merge "Make the tabs scrollable horizontally"		2019-06-18 16:20:01 +00:00
..
menu	Hygiene: rename $navUrls to $toolbox	2019-06-14 19:05:37 +02:00
skins	Merge "Make the tabs scrollable horizontally"	2019-06-18 16:20:01 +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