Manual:PageIdentity.php
MediaWiki file: PageIdentity.php | |
---|---|
Location: | includes/page/ |
Source code: | master • 1.42.3 • 1.41.4 • 1.39.10 |
Classes: | MediaWiki\Page\PageIdentity |
Interface for an object that may represent an editable wiki page, a non-existing page, a special page, interwiki link or section link, although this may change in the future. The identity of any PageIdentity
object is defined by the namespace, the dbkey, and the wiki ID.
PageIdentity
extends PageReference.
Public methods
edit- getId()
- canExist()
- exists()