jenkins-bot 65b00b4a41 Merge "Merge remote-tracking branch 'gerrit/page-issues-cleanup'"		2018-11-09 01:11:10 +00:00
..
skins	Merge "Disable mobile editor (skins.minerva.editor) on desktop"	2018-11-05 22:11:12 +00:00
MinervaHooks.php	Merge "Merge remote-tracking branch 'gerrit/page-issues-cleanup'"	2018-11-09 01:11: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