| Index: trunk/phase3/includes/User.php |
| — | — | @@ -805,6 +805,8 @@ |
| 806 | 806 | $sId = intval( $_COOKIE["{$wgCookiePrefix}UserID"] ); |
| 807 | 807 | if( isset( $_SESSION['wsUserID'] ) && $sId != $_SESSION['wsUserID'] ) { |
| 808 | 808 | $this->loadDefaults(); // Possible collision! |
| | 809 | + wfDebugLog( 'loginSessions', "Session user ID ({$_SESSION['wsUserID']}) and |
| | 810 | + cookie user ID ($sId) don't match!" ); |
| 809 | 811 | return false; |
| 810 | 812 | } |
| 811 | 813 | $_SESSION['wsUserID'] = $sId; |