logout(); $wgOut->mCookies = array(); $wgOut->setRobotpolicy( "noindex,nofollow" ); $wgOut->addHTML( wfMsg( "logouttext" ) . "\n

" ); $wgOut->returnToMain(); } ?>