MediaWiki  master
ProperPageIdentity.php
Go to the documentation of this file.
1 <?php
21 namespace MediaWiki\Page;
22 
23 use Wikimedia\Assert\PreconditionException;
24 
43 interface ProperPageIdentity extends PageIdentity {
44 
52  public function getWikiId();
53 
66  public function getId( $wikiId = self::LOCAL ): int;
67 
75  public function getDBkey(): string;
76 
83  public function canExist(): bool;
84 
85 }
Page\PageIdentity
Interface for objects (potentially) representing an editable wiki page.
Definition: PageIdentity.php:64
Page\ProperPageIdentity\getId
getId( $wikiId=self::LOCAL)
Returns the page ID.
Page\ProperPageIdentity
Interface for objects representing a page that is (or could be, or used to be) an editable page on a ...
Definition: ProperPageIdentity.php:43
Page\ProperPageIdentity\canExist
canExist()
Always true.
MediaWiki\Page
Definition: ContentModelChangeFactory.php:23
Page\ProperPageIdentity\getDBkey
getDBkey()
Get the page title in DB key form.
Page\ProperPageIdentity\getWikiId
getWikiId()
Get the ID of the wiki this page belongs to.