wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-14 19:28:31 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Echo/includes/gateway
History
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