808de18770b8251e3605646070f4804488053316
3 function wfSpecialUserlogout()
5 global $wgUser, $wgOut, $returnto;
8 $wgOut->mCookies
= array();
9 $wgOut->setRobotpolicy( "noindex,nofollow" );
10 $wgOut->addHTML( wfMsg( "logouttext" ) . "\n<p>" );
11 $wgOut->returnToMain();