MediaWiki  master
ProperPageIdentity.php
Go to the documentation of this file.
1 <?php
21 namespace MediaWiki\Page;
22 
23 use Wikimedia\Assert\PreconditionException;
24 
44 interface ProperPageIdentity extends PageIdentity {
45 
53  public function getWikiId();
54 
67  public function getId( $wikiId = self::LOCAL ): int;
68 
76  public function getDBkey(): string;
77 
84  public function canExist(): bool;
85 
86 }
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.
getWikiId()
Get the ID of the wiki this page belongs to.
getId( $wikiId=self::LOCAL)
Returns the page ID.
getDBkey()
Get the page title in DB key form.