Manual:ExistingPageRecord.php
MediaWiki file: ExistingPageRecord.php | |
---|---|
Location: | includes/page/ |
Source code: | master • 1.42.3 • 1.41.4 • 1.39.10 |
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
editFuture
editThis is intended to become an alias for PageRecord, once PageRecord is guaranteed to be immutable and to represent existing pages.