MediaWiki master
ProperPageIdentity.php
Go to the documentation of this file.
1<?php
7namespace MediaWiki\Page;
8
9use Wikimedia\Assert\PreconditionException;
10
31
39 public function getWikiId();
40
53 public function getId( $wikiId = self::LOCAL ): int;
54
62 public function getDBkey(): string;
63
70 public function canExist(): bool;
71
72}
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.