includes/SpecialRandomredirect.php

   1 <?php
   2
   3 /**
   4  * Special page to direct the user to a random redirect page (minus the second redirect)
   5  *
   6  * @addtogroup SpecialPage
   7  * @author Rob Church <robchur@gmail.com>, Ilmari Karonen
   8  * @license GNU General Public Licence 2.0 or later
   9  */
  10 class SpecialRandomredirect extends RandomPage {
  11         function __construct(){
  12                 parent::__construct( 'Randomredirect' );
  13         }
  14
  15         // Override parent::isRedirect()
  16         public function isRedirect(){
  17                 return true;
  18         }
  19 }