Remove request_with_session/request_without_session

Remove wfIncrStats() calls for request_with_session and
request_without_session. These cause a high load on the profiler and are
not currently needed for performance analysis.

Change-Id: I0ed1e87574c7c9eeaee4e503db86b862ff0995bb
This commit is contained in:
tstarling 2012-04-10 10:36:30 +10:00
parent 458f162b63
commit 42fcd43299

View file

@ -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;
}
}