SpecialUserlogout.php

Go to the documentation of this file.

<?php

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

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

?>

---