Manual:PageIdentity.php
| MediaWiki file: PageIdentity.php | |
|---|---|
| Location: | includes/page/ |
| Source code: | master • 1.43.0 • 1.42.4 • 1.39.11 |
| 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()