MediaWiki master
ProperPageIdentity.php
Go to the documentation of this file.
1<?php
21namespace MediaWiki\Page;
22
23use Wikimedia\Assert\PreconditionException;
24
45
53 public function getWikiId();
54
67 public function getId( $wikiId = self::LOCAL ): int;
68
76 public function getDBkey(): string;
77
84 public function canExist(): bool;
85
86}
Interface for objects (potentially) representing an editable wiki page.
Interface for a page that is (or could be, or used to be) an editable wiki page.
getWikiId()
Get the ID of the wiki this page belongs to.
getId( $wikiId=self::LOCAL)
Returns the page ID.
getDBkey()
Get the page title in DB key form.