Umherirrender 3dd1fd841a Use new namespace for MediaWiki\SpecialPage\SpecialPageFactory ... MediaWiki\Special is alias since 1.35 Change-Id: Ifb8a64c5fe7e413178f94ecc89b7a960d04064b2		2022-02-26 22:31:38 +01:00
..
Entries	Main page definition come from MediaWiki:Sidebar	2022-02-02 00:44:56 +00:00
Main	Use new namespace for MediaWiki\SpecialPage\SpecialPageFactory	2022-02-26 22:31:38 +01:00
PageActions	Merge "Remove some comments that literally repeat the code"	2021-12-20 20:05:32 +00:00
User	[Refactor] Use core definitions for personal menu icons	2022-01-19 00:33:16 +00:00
Definitions.php	Use new namespace for MediaWiki\SpecialPage\SpecialPageFactory	2022-02-26 22:31:38 +01:00
Group.php	Remove unused class property initialization	2021-12-17 11:31:44 +01:00