removed non-matching wfProfileOut() calls

[mediawiki.git] / includes / SpecialUserlogout.php

<?php

function wfSpecialUserlogout()
{
        global $wgUser, $wgOut, $returnto;

        $wgUser->logout();
        $wgOut->mCookies = array();
        $wgOut->setRobotpolicy( "noindex,nofollow" );
        $wgOut->addHTML( wfMsg( "logouttext" ) );
        $wgOut->returnToMain();
}

?>