d9952ea59457c640d5e53d925b8ac74ba57fd2ae
4 * @addtogroup SpecialPage
10 function wfSpecialUserlogout() {
11 global $wgUser, $wgOut;
14 $wgOut->setRobotpolicy( 'noindex,nofollow' );
15 $wgOut->addHTML( wfMsgExt( 'logouttext', array( 'parse' ) ) );
16 $wgOut->returnToMain();