Merge "Remove request_with_session/request_without_session"

diff --git a/includes/Setup.php b/includes/Setup.php
index 32cd75c..68a715f 100644 (file)
--- a/includes/Setup.php
+++ b/includes/Setup.php
@@ -468,11 +468,9 @@ if ( !wfIniGetBool( 'session.auto_start' ) ) {
 
 if ( !defined( 'MW_NO_SESSION' ) && !$wgCommandLineMode ) {
        if ( $wgRequest->checkSessionCookie() || isset( $_COOKIE[$wgCookiePrefix . 'Token'] ) ) {
-               wfIncrStats( 'request_with_session' );
                wfSetupSession();
                $wgSessionStarted = true;
        } else {
-               wfIncrStats( 'request_without_session' );
                $wgSessionStarted = false;
        }
 }