c86f55a7f1145166553a38684f12a6f0129368a9
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();