jenkins-bot b64585dfad Merge "Hygiene: Use PermissionsManager instead of deprecated methods"		2019-06-06 00:38:14 +00:00
..
menu	Merge "Hygiene: Use PermissionsManager instead of deprecated methods"	2019-06-06 00:38:14 +00:00
skins	Merge "PageActions menu should use Builder pattern"	2019-06-05 22:19: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	Hygiene: Use PermissionsManager instead of deprecated methods	2019-06-05 21:12:10 +02:00
SkinOptions.php	Add hook to override SkinOptions, and allow overriding tabs output	2019-06-04 10:24:30 -04:00