jenkins-bot 6037e61bc9 Merge "Revert "Suppress display of wikitext editor on action=edit""		2018-06-22 19:23:37 +00:00
..
skins	Merge "Mobile page issues - visual styling changes"	2018-06-19 22:13:31 +00:00
MinervaHooks.php	Merge "Revert "Suppress display of wikitext editor on action=edit""	2018-06-22 19:23:37 +00:00
MinervaResourceLoaderParsedMessageModule.php	Add GPL file header to PHP classes	2018-04-15 16:23:10 -07: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