182c9bf254284f184d3bbcfc809c4496cc5b04d3
3 function wfSpecialUserlogout()
5 global $wgUser, $wgOut, $returnto;
8 $wgOut->mCookies
= array();
9 $wgOut->setRobotpolicy( "noindex,nofollow" );
10 $wgOut->addHTML( wfMsg( "logouttext" ) );
11 $wgOut->returnToMain();