Manual:ProperPageIdentity.php

MediaWiki file: ProperPageIdentity.php
Location:	includes/page/
Source code:	master • 1.42.3 • 1.41.4 • 1.39.10
Classes:	MediaWiki\Page\ProperPageIdentity

Interface for a page that is (or could be, or used to be) an editable wiki page. Extends PageIdentity .

A ProperPageIdentity always represents an editable or creatable page, which is not necessarily the case for PageIdentity.

It was introduced in MW 1.36.

Public methods

• getWikiId()
• getId()
• getDBkey()
• canExist()

Extended by

• Manual:PageRecord.php
  • ExistingPageRecord

Implemented by

• PageIdentityValue

See also

• Title::toPageIdentity()