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
Page\PageReference
Interface for objects (potentially) representing a page that can be viewable and linked to on a wiki.
Definition: PageReference.php:49
Page\PageReference\getWikiId
getWikiId()
Get the ID of the wiki this page belongs to.
Page\PageReference\getDBkey
getDBkey()
Get the page title in DB key form.
Page\PageReference\__toString
__toString()
Returns an informative human readable unique representation of the page identity, for use as a cache ...
Page\PageReference\getNamespace
getNamespace()
Returns the page's namespace number.
Page\PageReference\isSamePageAs
isSamePageAs(PageReference $other)
Checks whether the given PageReference refers to the same page as this PageReference.