mediawiki logo instead of the wikipedia one
[mediawiki.git] / includes / SpecialSpecialpages.php
blob03f275069cc48ec1c7f25d8fe7b07148960f6be3
1 <?php
3 function wfSpecialSpecialpages()
5 global $wgLang, $wgOut, $wgUser;
7 # sub function generating the list of pages
8 # $SP : the list of pages
9 # $heading : header to be used
10 # $sk : skin object ???
12 function wfSpecialSpecialpages_gen($SP,$heading,$sk)
14 global $wgLang, $wgOut, $wgAllowSysopQueries;
16 $wgOut->addHTML( "<h2>" . wfMsg( $heading ) . "</h2>\n<ul>" );
17 foreach ( $SP as $name => $desc ) {
18 if( "" == $desc ) {
19 continue;
21 if( "Asksql" == $name && !$wgAllowSysopQueries ) {
22 continue;
24 $link = $sk->makeKnownLink( $wgLang->specialPage( $name ), $desc );
25 $wgOut->addHTML( "<li>{$link}</li>\n" );
27 $wgOut->addHTML( "</ul>\n" );
30 $wgOut->setRobotpolicy( "index,nofollow" );
31 $sk = $wgUser->getSkin();
33 # all users special pages
34 wfSpecialSpecialpages_gen($wgLang->getValidSpecialPages(),"spheading",$sk);
36 # sysops only special pages
37 if ( $wgUser->isSysop() ) {
38 wfSpecialSpecialpages_gen($wgLang->getSysopSpecialPages(),"sysopspheading",$sk);
41 # developers only special pages
42 if ( $wgUser->isDeveloper() ) {
43 wfSpecialSpecialpages_gen($wgLang->getDeveloperSpecialPages(),"developerspheading",$sk);