PageReference.php

Go to the documentation of this file.

<?php
namespace MediaWiki\Page;
 
use MediaWiki\DAO\WikiAwareEntity;
 
interface PageReference extends WikiAwareEntity {
 
    public function getWikiId();
 
    public function getNamespace(): int;
 
    public function getDBkey(): string;
 
    public function isSamePageAs( PageReference $other ): bool;
 
    public function __toString(): string;
 
}