mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-11-24 07:54:13 +00:00
26 lines
633 B
PHP
26 lines
633 B
PHP
|
<?php
|
||
|
|
|
||
|
|
namespace EchoPush;
|
||
|
|
|
||
|
|
use CentralIdLookup;
|
||
|
|
use User;
|
||
|
|
|
||
|
|
class Utils {
|
||
|
|
|
||
|
|
/**
|
||
|
|
* Attempt to get a unique ID for the specified user, accounting for installations both with
|
||
|
|
* and without CentralAuth: Return the user's central ID, if available. If there is no central
|
||
|
|
* user associated with the local user (i.e., centralIdFromLocalUser returns 0), fall back to
|
||
|
|
* returning the local user ID.
|
||
|
|
* @param User $user
|
||
|
|
* @return int
|
||
|
|
*/
|
||
|
|
public static function getPushUserId( User $user ): int {
|
||
|
|
return CentralIdLookup::factory()->centralIdFromLocalUser(
|
||
|
|
$user,
|
||
|
|
CentralIdLookup::AUDIENCE_RAW
|
||
|
|
) ?: $user->getId();
|
||
|
|
}
|
||
|
|
|
||
|
|
}
|