* Added static keywords to functions which were declared static in comments
authorNiklas Laxström <nikerabbit@users.mediawiki.org>
Tue, 30 May 2006 12:38:07 +0000 (12:38 +0000)
committerNiklas Laxström <nikerabbit@users.mediawiki.org>
Tue, 30 May 2006 12:38:07 +0000 (12:38 +0000)
includes/SpecialPage.php

index bf6c745..7c54654 100644 (file)
@@ -146,7 +146,7 @@ class SpecialPage
         * Use this for a special page extension
         * @static
         */
-       function addPage( &$obj ) {
+       static function addPage( &$obj ) {
                global $wgSpecialPages;
                $wgSpecialPages[$obj->mName] = $obj;
        }
@@ -156,7 +156,7 @@ class SpecialPage
         * Occasionally used to disable expensive or dangerous special pages
         * @static
         */
-       function removePage( $name ) {
+       static function removePage( $name ) {
                global $wgSpecialPages;
                unset( $wgSpecialPages[$name] );
        }
@@ -166,7 +166,7 @@ class SpecialPage
         * @static
         * @param string $name
         */
-       function getPage( $name ) {
+       static function getPage( $name ) {
                global $wgSpecialPages;
                if ( array_key_exists( $name, $wgSpecialPages ) ) {
                        return $wgSpecialPages[$name];
@@ -180,7 +180,7 @@ class SpecialPage
         * @param string $name
         * @return mixed Title object if the redirect exists, otherwise NULL
         */
-       function getRedirect( $name ) {
+       static function getRedirect( $name ) {
                global $wgUser;
 
                $redirects = array(
@@ -228,7 +228,7 @@ class SpecialPage
         * Returns a 2d array where the first index is the restriction name
         * @static
         */
-       function getPages() {
+       static function getPages() {
                global $wgSpecialPages;
                $pages = array(
                  '' => array(),
@@ -325,7 +325,7 @@ class SpecialPage
         * a redirect.
         * @static
         */
-       function capturePath( &$title ) {
+       static function capturePath( &$title ) {
                global $wgOut, $wgTitle;
 
                $oldTitle = $wgTitle;