URL-escape the main page link on the logo

[mediawiki.git] / includes / SpecialDebug.php

<?

function wfSpecialDebug()
{
        global $wgUser, $wgOut;

        if ( ! $wgUser->isDeveloper() ) {
                $wgOut->developerRequired();
                return;
        }
        phpinfo();
}