Removing an unused function (was used in SpecialGroups.php).
[mediawiki.git] / includes / SpecialUserlogout.php
blobf3fcbc4f9e095260370e38f2814823d5325d19ec
1 <?php
2 /**
4 * @package MediaWiki
5 * @subpackage SpecialPage
6 */
8 /**
9 * constructor
11 function wfSpecialUserlogout() {
12 global $wgUser, $wgOut;
14 if (wfRunHooks('UserLogout', array(&$wgUser))) {
16 $wgUser->logout();
18 wfRunHooks('UserLogoutComplete', array(&$wgUser));
20 $wgOut->setRobotpolicy( 'noindex,nofollow' );
21 $wgOut->addHTML( wfMsgExt( 'logouttext', array( 'parse' ) ) );
22 $wgOut->returnToMain();