diff options
| author | Umherirrender <umherirrender_de.wp@web.de> | 2025-03-30 22:50:22 +0200 |
|---|---|---|
| committer | Umherirrender <umherirrender_de.wp@web.de> | 2025-04-02 16:36:18 +0000 |
| commit | 396b584080d97a3dab44f3f07bc9efef4cc62aaf (patch) | |
| tree | 74b107d84cd9a37fbd44f25a95dc737825fcb093 /includes/session/UserInfo.php | |
| parent | 9fd9fe48e33221a663e8cc78b3fd920e4a3b184c (diff) | |
| download | mediawikicore-396b584080d97a3dab44f3f07bc9efef4cc62aaf.tar.gz mediawikicore-396b584080d97a3dab44f3f07bc9efef4cc62aaf.zip | |
Use type declaration on undocumented private functions
Change-Id: I0d8d2237500ed6f18439410c902d47c42e4119bc
Diffstat (limited to 'includes/session/UserInfo.php')
| -rw-r--r-- | includes/session/UserInfo.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/includes/session/UserInfo.php b/includes/session/UserInfo.php index a55725625624..ece85e03dca0 100644 --- a/includes/session/UserInfo.php +++ b/includes/session/UserInfo.php @@ -59,7 +59,7 @@ final class UserInfo implements Stringable { /** @var User|null */ private $user = null; - private function __construct( ?User $user, $verified ) { + private function __construct( ?User $user, bool $verified ) { $userNameUtils = MediaWikiServices::getInstance()->getUserNameUtils(); if ( $user && $user->isAnon() && !$userNameUtils->isUsable( $user->getName() ) ) { $this->verified = true; |