jenkins-bot 8ff17077a2 Merge "Remove some comments that literally repeat the code"		2021-12-20 20:05:32 +00:00
..
Entries	Merge "Remove some comments that literally repeat the code"	2021-12-20 20:05:32 +00:00
Main	Use more narrow UserIdentity interface where possible	2021-12-17 18:16:49 +01:00
PageActions	Merge "Remove some comments that literally repeat the code"	2021-12-20 20:05:32 +00:00
User	Prefer UserIdentity interface methods over User where possible	2021-12-17 16:57:44 +00:00
Definitions.php	Use more narrow UserIdentity interface where possible	2021-12-17 18:16:49 +01:00
Group.php	Remove unused class property initialization	2021-12-17 11:31:44 +01:00