From 93faec7fe0e470f63972c27b2996e9c475798313 Mon Sep 17 00:00:00 2001 From: Max Semenik Date: Thu, 11 Feb 2016 11:20:43 -0800 Subject: [PATCH] Remove REQUEST_TIME_FLOAT hack for old PHP Change-Id: Id11f4f479d5225d92e38b2ae83b25315591b73d6 --- includes/WebStart.php | 5 ----- 1 file changed, 5 deletions(-) diff --git a/includes/WebStart.php b/includes/WebStart.php index 9ee8042d54..7bc3039074 100644 --- a/includes/WebStart.php +++ b/includes/WebStart.php @@ -32,11 +32,6 @@ # points and when $wgOut gets disabled or overridden. header( 'X-Content-Type-Options: nosniff' ); -# Approximate $_SERVER['REQUEST_TIME_FLOAT'] for PHP<5.4 -if ( !isset( $_SERVER['REQUEST_TIME_FLOAT'] ) ) { - $_SERVER['REQUEST_TIME_FLOAT'] = microtime( true ); -} - /** * @var float Request start time as fractional seconds since epoch * @deprecated since 1.25; use $_SERVER['REQUEST_TIME_FLOAT'] or -- 2.20.1