mediawiki-extensions-Echo/includes/gateway
Umherirrender ffeee975a4 Replace deprecated User::newFromIdentity with UserFactory
Moved the factory deeper into the code right before the one usage it
still needed a full user object

Narrow done method arguments from User to UserIdentity
and use the identity directly

Change-Id: Ic118f23ef504c7fda892480df61ea68c10915f78
2022-02-11 20:35:49 +00:00
..
UserNotificationGateway.php Replace deprecated User::newFromIdentity with UserFactory 2022-02-11 20:35:49 +00:00