MediaWiki 1.30.2

[autoinstalls/mediawiki.git] / includes / specials / SpecialRandomredirect.php

diff --git a/includes/specials/SpecialRandomredirect.php b/includes/specials/SpecialRandomredirect.php
index 88c81b31bea80c2e2874bd3f373e70d1ad26578a..7c36a28a2fcdb4e8f8879ffaa5df5e101520f997 100644 (file)
--- a/includes/specials/SpecialRandomredirect.php
+++ b/includes/specials/SpecialRandomredirect.php
@@ -28,9 +28,8 @@
  * @ingroup SpecialPage
  */
 class SpecialRandomredirect extends RandomPage {
-       function __construct(){
+       function __construct() {
                parent::__construct( 'Randomredirect' );
                $this->isRedir = true;
        }
-
 }