Movatterモバイル変換


[0]ホーム

URL:


MediaWiki master
UserIdentity.php
Go to the documentation of this file.
1<?php
21namespaceMediaWiki\User;
22
23useMediaWiki\DAO\WikiAwareEntity;
24
38interfaceUserIdentityextendsWikiAwareEntity {
39
47publicfunctiongetId( $wikiId = self::LOCAL ): int;
48
54publicfunctiongetName(): string;
55
62publicfunctionequals( ?UserIdentity $user ): bool;
63
74publicfunctionisRegistered(): bool;
75}
MediaWiki\DAO\WikiAwareEntity
Marker interface for entities aware of the wiki they belong to.
DefinitionWikiAwareEntity.php:35
MediaWiki\User\UserIdentity
Interface for objects representing user identity.
DefinitionUserIdentity.php:38
MediaWiki\User\UserIdentity\isRegistered
isRegistered()
This must be equivalent to getId() != 0 and is provided for code readability.
MediaWiki\User\UserIdentity\getName
getName()
MediaWiki\User\UserIdentity\equals
equals(?UserIdentity $user)
MediaWiki\User\UserIdentity\getId
getId( $wikiId=self::LOCAL)
MediaWiki\User
DefinitionActorCache.php:21

[8]ページ先頭

©2009-2025 Movatter.jp