jenkins-bot 937d2b48ea Merge "On user pages, move language icon from Toolbar to Overflow menu"		2019-07-16 20:09:04 +00:00
..
menu	On user pages, move language icon from Toolbar to Overflow menu	2019-07-16 17:51:11 +00:00
permissions	Add phan	2019-07-15 17:10:13 +00:00
skins	Do not load main menu icons in critical path	2019-07-16 19:04:00 +00:00
MinervaHooks.php	Update page issues folder structure	2019-07-08 23:07:28 +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	On user pages, move language icon from Toolbar to Overflow menu	2019-07-16 17:51:11 +00:00
SkinOptions.php	Define default OPTION_TABS_ON_SPECIALS option	2019-06-07 11:44:53 +00:00