+# If session.auto_start is there, we can't touch session name
+#
+if (!ini_get('session.auto_start')) {
+ session_name( $wgCookiePrefix . '_session' );
+}
+
+if( !$wgCommandLineMode && ( isset( $_COOKIE[session_name()] ) || isset( $_COOKIE[$wgCookiePrefix.'Token'] ) ) ) {