jenkins-bot 2d9be80368 Merge "Use wikimedia.ui from core directly"		2019-07-17 15:15:12 +00:00
..
menu	Merge "Use wikimedia.ui from core directly"	2019-07-17 15:15:12 +00:00
permissions	Extract language/variants check to a service	2019-07-16 19:53:57 +00:00
skins	Merge "Embrace packageFiles"	2019-07-16 21:21:42 +00:00
LanguagesHelper.php	Extract language/variants check to a service	2019-07-16 19:53:57 +00:00
MinervaHooks.php	Embrace packageFiles	2019-07-16 18:04:10 +00: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	Extract language/variants check to a service	2019-07-16 19:53:57 +00:00
SkinOptions.php	Define default OPTION_TABS_ON_SPECIALS option	2019-06-07 11:44:53 +00:00