Fix doc of ChangesListSpecialPage::doHeader
authorumherirrender <umherirrender_de.wp@web.de>
Mon, 14 Jul 2014 12:33:23 +0000 (14:33 +0200)
committerumherirrender <umherirrender_de.wp@web.de>
Mon, 14 Jul 2014 12:33:23 +0000 (14:33 +0200)
The function does not return anything

Change-Id: Ibb23838843a9a1cb8bb23347c3b2de7437861ae0

includes/specialpage/ChangesListSpecialPage.php
includes/specials/SpecialRecentchanges.php
includes/specials/SpecialWatchlist.php

index ad1ee36..008200d 100644 (file)
@@ -348,10 +348,9 @@ abstract class ChangesListSpecialPage extends SpecialPage {
        abstract public function outputChangesList( $rows, $opts );
 
        /**
-        * Return the text to be displayed above the changes
+        * Set the text to be displayed above the changes
         *
         * @param FormOptions $opts
-        * @return string XHTML
         */
        public function doHeader( $opts ) {
                $this->setTopText( $opts );
index f770307..aa8ed82 100644 (file)
@@ -350,10 +350,9 @@ class SpecialRecentChanges extends ChangesListSpecialPage {
        }
 
        /**
-        * Return the text to be displayed above the changes
+        * Set the text to be displayed above the changes
         *
         * @param FormOptions $opts
-        * @return string XHTML
         */
        public function doHeader( $opts ) {
                global $wgScript;
index 21a1f9b..57659e7 100644 (file)
@@ -388,10 +388,9 @@ class SpecialWatchlist extends ChangesListSpecialPage {
        }
 
        /**
-        * Return the text to be displayed above the changes
+        * Set the text to be displayed above the changes
         *
         * @param FormOptions $opts
-        * @return string XHTML
         */
        public function doHeader( $opts ) {
                $user = $this->getUser();