Manual:ExistingPageRecord.php
| MediaWiki file: ExistingPageRecord.php | |
|---|---|
| Location: | includes/page/ (includes/Page/ in 1.46 or later) |
| Source code: | master • 1.45.1 • 1.44.3 • 1.43.6 |
| 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.