Add an extension for logging MediaWiki events to the system logger

[lhc/web/wiklou.git] / includes / SpecialUserlogout.php

diff --git a/includes/SpecialUserlogout.php b/includes/SpecialUserlogout.php
index 52aa73d..6c9a888 100644 (file)
--- a/includes/SpecialUserlogout.php
+++ b/includes/SpecialUserlogout.php
@@ -11,11 +11,17 @@
 function wfSpecialUserlogout() {
        global $wgUser, $wgOut, $returnto;
 
-       $wgUser->logout();
-       $wgOut->mCookies = array();
-       $wgOut->setRobotpolicy( 'noindex,nofollow' );
-       $wgOut->addHTML( wfMsg( 'logouttext' ) );
-       $wgOut->returnToMain();
+       if (wfRunHooks('UserLogout', $wgUser)) {
+               
+               $wgUser->logout();
+       
+               $wgOut->mCookies = array();
+               $wgOut->setRobotpolicy( 'noindex,nofollow' );
+               $wgOut->addHTML( wfMsg( 'logouttext' ) );
+               $wgOut->returnToMain();
+               
+               wfRunHooks('UserLogoutComplete', $wgUser);
+       }
 }
 
 ?>