includes/page/ExistingPageRecord.php

   1 <?php
   2
   3 namespace MediaWiki\Page;
   4
   5 /**
   6  * Data record representing a page that currently exists as
   7  * an editable page on a wiki.
   8  *
   9  * @note This is intended to become an alias for PageRecord, once PageRecord is guaranteed
  10  *       to be immutable and to represent existing pages.
  11  *
  12  * @see https://www.mediawiki.org/wiki/Manual:Modeling_pages
  13  *
  14  * @stable to type
  15  * @since 1.36
  16  */
  17 interface ExistingPageRecord extends PageRecord {
  18
  19         /**
  20          * Always true.
  21          *
  22          * @return true
  23          */
  24         public function exists(): bool;
  25 }