00001 <?php 00010 function wfSpecialUserlogout() { 00011 global $wgUser, $wgOut; 00012 00013 $oldName = $wgUser->getName(); 00014 $wgUser->logout(); 00015 $wgOut->setRobotPolicy( 'noindex,nofollow' ); 00016 00017 // Hook. 00018 $injected_html = ''; 00019 wfRunHooks( 'UserLogoutComplete', array(&$wgUser, &$injected_html, $oldName) ); 00020 00021 $wgOut->addHTML( wfMsgExt( 'logouttext', array( 'parse' ) ) . $injected_html ); 00022 $wgOut->returnToMain(); 00023 }