diff options
| author | Pierre Schmitz <pierre@archlinux.de> | 2008-03-21 11:49:34 +0100 |
|---|---|---|
| committer | Pierre Schmitz <pierre@archlinux.de> | 2008-03-21 11:49:34 +0100 |
| commit | 086ae52d12011746a75f5588e877347bc0457352 (patch) | |
| tree | e73263c7a29d0f94fafb874562610e16eb292ba8 /includes/SpecialUserlogout.php | |
| parent | 749e7fb2bae7bbda855de3c9e319435b9f698ff7 (diff) | |
Update auf MediaWiki 1.12.0
Diffstat (limited to 'includes/SpecialUserlogout.php')
| -rw-r--r-- | includes/SpecialUserlogout.php | 15 |
1 files changed, 4 insertions, 11 deletions
diff --git a/includes/SpecialUserlogout.php b/includes/SpecialUserlogout.php index 6e464ced..d9952ea5 100644 --- a/includes/SpecialUserlogout.php +++ b/includes/SpecialUserlogout.php @@ -10,17 +10,10 @@ function wfSpecialUserlogout() { global $wgUser, $wgOut; - if (wfRunHooks('UserLogout', array(&$wgUser))) { - - $wgUser->logout(); - - wfRunHooks('UserLogoutComplete', array(&$wgUser)); - - $wgOut->setRobotpolicy( 'noindex,nofollow' ); - $wgOut->addHTML( wfMsgExt( 'logouttext', array( 'parse' ) ) ); - $wgOut->returnToMain(); - - } + $wgUser->logout(); + $wgOut->setRobotpolicy( 'noindex,nofollow' ); + $wgOut->addHTML( wfMsgExt( 'logouttext', array( 'parse' ) ) ); + $wgOut->returnToMain(); } |