MediaWiki  master
SpecialRandomrootpage.php
Go to the documentation of this file.
1 <?php
2 
28 
29  public function __construct() {
30  parent::__construct( 'Randomrootpage' );
31  $dbr = wfGetDB( DB_REPLICA );
32  $this->extra[] = 'page_title NOT ' . $dbr->buildLike( $dbr->anyString(), '/', $dbr->anyString() );
33  }
34 
35  // Don't select redirects
36  public function isRedirect() {
37  return false;
38  }
39 }
wfGetDB( $db, $groups=[], $wiki=false)
Get a Database object.
Special page to direct the user to a random page.
const DB_REPLICA
Definition: defines.php:25