jenkins-bot 122b57d98b Merge "Update page issues folder structure"		2019-07-09 14:29:10 +00:00
..
menu	Hygiene: Do not insert Random menu entry if message do not exists	2019-07-09 13:05:00 +02:00
permissions	MinervaPermissions must respect $wgHideInterlanguageLinks config	2019-06-21 18:59:50 +00:00
skins	Merge "Hygiene: extract ToggleList to a reusable component"	2019-07-05 00:27:11 +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	Merge "Add contributions link to toolbar on User pages"	2019-07-04 20:38:36 +00:00
SkinOptions.php	Define default OPTION_TABS_ON_SPECIALS option	2019-06-07 11:44:53 +00:00