r32045 committed from wrong working branch. Revert and commit the one I wanted.
[mediawiki.git] / includes / SpecialUserlogout.php
blobd9952ea59457c640d5e53d925b8ac74ba57fd2ae
1 <?php
2 /**
4 * @addtogroup SpecialPage
5 */
7 /**
8 * constructor
9 */
10 function wfSpecialUserlogout() {
11 global $wgUser, $wgOut;
13 $wgUser->logout();
14 $wgOut->setRobotpolicy( 'noindex,nofollow' );
15 $wgOut->addHTML( wfMsgExt( 'logouttext', array( 'parse' ) ) );
16 $wgOut->returnToMain();