diff options
author | Pierre Schmitz <pierre@archlinux.de> | 2008-08-15 01:29:47 +0200 |
---|---|---|
committer | Pierre Schmitz <pierre@archlinux.de> | 2008-08-15 01:29:47 +0200 |
commit | 370e83bb0dfd0c70de268c93bf07ad5ee0897192 (patch) | |
tree | 491674f4c242e4d6ba0d04eafa305174c35a3391 /includes/specials/SpecialUserlogout.php | |
parent | f4debf0f12d0524d2b2427c55ea3f16b680fad97 (diff) |
Update auf 1.13.0
Diffstat (limited to 'includes/specials/SpecialUserlogout.php')
-rw-r--r-- | includes/specials/SpecialUserlogout.php | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/includes/specials/SpecialUserlogout.php b/includes/specials/SpecialUserlogout.php new file mode 100644 index 00000000..137eadb4 --- /dev/null +++ b/includes/specials/SpecialUserlogout.php @@ -0,0 +1,23 @@ +<?php +/** + * @file + * @ingroup SpecialPage + */ + +/** + * constructor + */ +function wfSpecialUserlogout() { + global $wgUser, $wgOut; + + $oldName = $wgUser->getName(); + $wgUser->logout(); + $wgOut->setRobotpolicy( 'noindex,nofollow' ); + + // Hook. + $injected_html = ''; + wfRunHooks( 'UserLogoutComplete', array(&$wgUser, &$injected_html, $oldName) ); + + $wgOut->addHTML( wfMsgExt( 'logouttext', array( 'parse' ) ) . $injected_html ); + $wgOut->returnToMain(); +} |