This variable is useless since there is the check "session_id() !== ''"
to do the same, that works correctly if the session has been started
during the request.
Change-Id: I5081e79e30e01c97aa0e59b106cc75e9d1ba951a
session_name( $wgSessionName ? $wgSessionName : $wgCookiePrefix . '_session' );
}
-if ( !defined( 'MW_NO_SESSION' ) && !$wgCommandLineMode ) {
- if ( $wgRequest->checkSessionCookie() || isset( $_COOKIE[$wgCookiePrefix . 'Token'] ) ) {
- wfSetupSession();
- $wgSessionStarted = true;
- } else {
- $wgSessionStarted = false;
- }
+if ( !defined( 'MW_NO_SESSION' ) && !$wgCommandLineMode &&
+ ( $wgRequest->checkSessionCookie() || isset( $_COOKIE[$wgCookiePrefix . 'Token'] ) )
+) {
+ wfSetupSession();
}
wfProfileOut( $fname . '-session' );