MediaWiki  master
PageReference.php
Go to the documentation of this file.
1 <?php
21 namespace MediaWiki\Page;
22 
23 use MediaWiki\DAO\WikiAwareEntity;
24 
49 interface PageReference extends WikiAwareEntity {
50 
57  public function getWikiId();
58 
67  public function getNamespace(): int;
68 
81  public function getDBkey(): string;
82 
93  public function isSamePageAs( PageReference $other ): bool;
94 
101  public function __toString(): string;
102 
103 }
MediaWiki\DAO\WikiAwareEntity
Marker interface for entities aware of the wiki they belong to.
Definition: WikiAwareEntity.php:35
MediaWiki\Page\PageReference
Interface for objects (potentially) representing a page that can be viewable and linked to on a wiki.
Definition: PageReference.php:49
MediaWiki\Page\PageReference\getNamespace
getNamespace()
Returns the page's namespace number.
MediaWiki\Page\PageReference\getDBkey
getDBkey()
Get the page title in DB key form.
MediaWiki\Page\PageReference\getWikiId
getWikiId()
Get the ID of the wiki this page belongs to.
MediaWiki\Page\PageReference\isSamePageAs
isSamePageAs(PageReference $other)
Checks whether the given PageReference refers to the same page as this PageReference.
MediaWiki\Page\PageReference\__toString
__toString()
Returns an informative human readable unique representation of the page identity, for use as a cache ...