MediaWiki REL1_34
SpecialRandomrootpage.php
Go to the documentation of this file.
1<?php
2
28
29 public function __construct() {
30 parent::__construct( 'Randomrootpage' );
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