jenkins-bot 26e29baf8d Merge "Show watchlist to non-JS users of Minerva"		2018-10-15 09:16:01 +00:00
..
skins	Merge "Show watchlist to non-JS users of Minerva"	2018-10-15 09:16:01 +00:00
MinervaHooks.php	Add share icon as mobile web beta feature	2018-10-12 22:08:28 +02: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