Doc tweaks:
[mediawiki.git] / includes / SpecialUserlogout.php
blob9f1bdb3a3a6bd376cff2ab1093e80c61d3f1dae7
1 <?php
2 /**
4 * @addtogroup SpecialPage
5 */
7 /**
8 * constructor
9 */
10 function wfSpecialUserlogout() {
11 global $wgUser, $wgOut;
13 if (wfRunHooks('UserLogout', array(&$wgUser))) {
15 $wgUser->logout();
17 wfRunHooks('UserLogoutComplete', array(&$wgUser));
19 $wgOut->setRobotpolicy( 'noindex,nofollow' );
20 $wgOut->addHTML( wfMsgExt( 'logouttext', array( 'parse' ) ) );
21 $wgOut->returnToMain();