From: Max Semenik <maxsem.wiki@gmail.com>
Date: Thu, 11 Feb 2016 19:20:43 +0000 (-0800)
Subject: Remove REQUEST_TIME_FLOAT hack for old PHP
X-Git-Tag: 1.31.0-rc.0~7971
X-Git-Url: https://git.heureux-cyclage.org/?p=lhc%2Fweb%2Fwiklou.git;a=commitdiff_plain;h=93faec7fe0e470f63972c27b2996e9c475798313

Remove REQUEST_TIME_FLOAT hack for old PHP

Change-Id: Id11f4f479d5225d92e38b2ae83b25315591b73d6
---

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