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.
MediaWiki\Page
Definition:
ContentModelChangeFactory.php:22
includes
page
PageReference.php
Generated on Tue Jun 28 2022 21:09:13 for MediaWiki by
1.9.1