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