Add an extension for logging MediaWiki events to the system logger
[lhc/web/wiklou.git] / includes / SpecialUserlogout.php
1 <?php
2 /**
3 *
4 * @package MediaWiki
5 * @subpackage SpecialPage
6 */
7
8 /**
9 * constructor
10 */
11 function wfSpecialUserlogout() {
12 global $wgUser, $wgOut, $returnto;
13
14 if (wfRunHooks('UserLogout', $wgUser)) {
15
16 $wgUser->logout();
17
18 $wgOut->mCookies = array();
19 $wgOut->setRobotpolicy( 'noindex,nofollow' );
20 $wgOut->addHTML( wfMsg( 'logouttext' ) );
21 $wgOut->returnToMain();
22
23 wfRunHooks('UserLogoutComplete', $wgUser);
24 }
25 }
26
27 ?>