diff options
author | Antoine Musso <hashar@users.mediawiki.org> | 2004-09-02 23:28:24 +0000 |
---|---|---|
committer | Antoine Musso <hashar@users.mediawiki.org> | 2004-09-02 23:28:24 +0000 |
commit | 90155b8a9719ada6522a320a3315b4e698fdd970 (patch) | |
tree | 23ffd27058bd2b089b6d5c3b7c70ec3aea757f98 /includes/SpecialPage.php | |
parent | 81e0b9d3c0c2bad288a3d73a38738070092db467 (diff) | |
download | mediawikicore-90155b8a9719ada6522a320a3315b4e698fdd970.tar.gz mediawikicore-90155b8a9719ada6522a320a3315b4e698fdd970.zip |
Changing comments layout preparing for generated documentation with Phpdocumentor
Notes
Notes:
http://mediawiki.org/wiki/Special:Code/MediaWiki/5032
Diffstat (limited to 'includes/SpecialPage.php')
-rw-r--r-- | includes/SpecialPage.php | 42 |
1 files changed, 27 insertions, 15 deletions
diff --git a/includes/SpecialPage.php b/includes/SpecialPage.php index 92c18d6fdbff..426fd095b32c 100644 --- a/includes/SpecialPage.php +++ b/includes/SpecialPage.php @@ -1,18 +1,26 @@ <?php -# SpecialPage: handling special pages and lists thereof - -# $wgSpecialPages is a list of all SpecialPage objects. These objects are either instances of -# SpecialPage or a sub-class thereof. They have an execute() method, which sends the HTML for the -# special page to $wgOut. The parent class has an execute() method which distributes the call to -# the historical global functions. Additionally, execute() also checks if the user has the -# necessary access privileges and bails out if not. - -# To add a special page at run-time, use SpecialPage::addPage(). -# DO NOT manipulate this array at run-time. +/** + * SpecialPage: handling special pages and lists thereof + * $wgSpecialPages is a list of all SpecialPage objects. These objects are + * either instances of SpecialPage or a sub-class thereof. They have an + * execute() method, which sends the HTML for the special page to $wgOut. + * The parent class has an execute() method which distributes the call to + * the historical global functions. Additionally, execute() also checks if the + * user has the necessary access privileges and bails out if not. + * + * To add a special page at run-time, use SpecialPage::addPage(). + * DO NOT manipulate this array at run-time. + */ +/** + * + */ global $wgSpecialPages; -/* private */ $wgSpecialPages = array( +/** + * @access private + */ +$wgSpecialPages = array( 'DoubleRedirects' => new UnlistedSpecialPage ( 'DoubleRedirects' ), 'BrokenRedirects' => new UnlistedSpecialPage ( 'BrokenRedirects' ), 'Disambiguations' => new UnlistedSpecialPage ( 'Disambiguations' ), @@ -33,8 +41,7 @@ global $wgSpecialPages; "Unusedimages" => new SpecialPage( "Unusedimages" ) ); global $wgDisableCounters; -if( !$wgDisableCounters ) -{ +if( !$wgDisableCounters ) { $wgSpecialPages["Popularpages"] = new SpecialPage( "Popularpages" ); } $wgSpecialPages = array_merge($wgSpecialPages, array ( @@ -75,7 +82,10 @@ $wgSpecialPages = array_merge($wgSpecialPages, array ( "Unlockdb" => new SpecialPage( "Unlockdb", "developer" ) )); -# Parent special page class, also static functions for handling the special page list +/** + * Parent special page class, also static functions for handling the special + * page list + */ class SpecialPage { /* private */ var $mName; # The name of the class, used in the URL. Also used for the default @@ -267,7 +277,9 @@ class SpecialPage } } -# Shortcut to construct a special page which is unlisted by default +/** + * Shortcut to construct a special page which is unlisted by default + */ class UnlistedSpecialPage extends SpecialPage { function UnlistedSpecialPage( $name, $restriction = "", $function = false, $file = "default" ) { |