jenkins-bot 3461c9dd93 Merge "Add wikidata link to overflow menu"		2019-06-14 16:54:12 +00:00
..
menu	Merge "Add wikidata link to overflow menu"	2019-06-14 16:54:12 +00:00
skins	Merge "Add wikidata link to overflow menu"	2019-06-14 16:54:12 +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