category redirect bug fix

[mediawiki.git] / includes / SpecialDebug.php

<?php

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

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