jenkins-bot a06df4ec9b Merge "Add DataAfterContent to footer (SkinAfterContent hook)"		2019-06-28 12:20:27 +00:00
..
menu	Merge "Move hamburger icon generation into Director"	2019-06-26 19:13:55 +00:00
permissions	MinervaPermissions must respect $wgHideInterlanguageLinks config	2019-06-21 18:59:50 +00:00
skins	Merge "Add DataAfterContent to footer (SkinAfterContent hook)"	2019-06-28 12:20:27 +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	Merge "Move hamburger icon generation into Director"	2019-06-26 19:13:55 +00:00
SkinOptions.php	Define default OPTION_TABS_ON_SPECIALS option	2019-06-07 11:44:53 +00:00