Jump to content


From mediawiki.org

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


Implemented by


See also