Manual:ExistingPageRecord.php
| MediaWiki file: ExistingPageRecord.php | |
|---|---|
| Location: | includes/page/ |
| Source code: | master • 1.42.1 • 1.41.2 • 1.39.8 |
| Classes: | MediaWiki\Page\ExistingPageRecord |
Data record representing a page that currently exists as an editable page on a wiki. Extends PageRecord.
Public methods
[edit]- exists()
Implemented by
[edit]Future
[edit]This is intended to become an alias for PageRecord, once PageRecord is guaranteed to be immutable and to represent existing pages.