Index: trunk/phase3/includes/Setup.php |
— | — | @@ -305,7 +305,7 @@ |
306 | 306 | session_name( $wgSessionName ? $wgSessionName : $wgCookiePrefix . '_session' ); |
307 | 307 | |
308 | 308 | if( !defined( 'MW_NO_SESSION' ) ) { |
309 | | - if( !$wgCommandLineMode && ( $wgRequest->checkSessionCookie() || $wgRequest->getCookie( 'Token' ) ) ) { |
| 309 | + if( !$wgCommandLineMode && ( $wgRequest->checkSessionCookie() || isset( $_COOKIE[$wgCookiePrefix.'Token'] ) ) ) { |
310 | 310 | wfIncrStats( 'request_with_session' ); |
311 | 311 | wfSetupSession(); |
312 | 312 | $wgSessionStarted = true; |