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