MediaWiki  master
PageReference.php
Go to the documentation of this file.
1 <?php
21 namespace MediaWiki\Page;
22 
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 }
Marker interface for entities aware of the wiki they belong to.
Interface for objects (potentially) representing a page that can be viewable and linked to on a wiki.
getWikiId()
Get the ID of the wiki this page belongs to.
getDBkey()
Get the page title in DB key form.
__toString()
Returns an informative human readable unique representation of the page identity, for use as a cache ...
getNamespace()
Returns the page's namespace number.
isSamePageAs(PageReference $other)
Checks whether the given PageReference refers to the same page as this PageReference.