jenkins-bot 5a7b9c9372 Merge "Remove unused class property initialization"		2021-12-18 15:01:20 +00:00
..
Entries	Use more narrow UserIdentity interface where possible	2021-12-17 18:16:49 +01:00
Main	Use more narrow UserIdentity interface where possible	2021-12-17 18:16:49 +01:00
PageActions	Use more narrow UserIdentity interface where possible	2021-12-17 18:16:49 +01: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