jenkins-bot f3565a4d7c Merge "Replace Title::newFromText by Title::makeTitle"		2022-03-13 21:56:31 +00:00
..
Entries	Replace Title::newFromText by Title::makeTitle	2022-03-10 22:42:56 +01:00
Main	Merge "Deprecate MobileMenu hook"	2022-02-28 22:09:18 +00:00
PageActions	Namespace SkinMinerva	2022-03-04 17:50:20 +00:00
User	Namespace two more classes	2022-03-04 16:33:46 +00:00
Definitions.php	Reorder checks in Defintions from cheaper to expensive	2022-03-10 23:05:13 +01:00
Group.php	Remove unused class property initialization	2021-12-17 11:31:44 +01:00