WebStart: Remove deprecated $wgRequestTime

This variable is not read anywhere in Wikimedia Git.

Follows-up 06ba5ca383e2.

Bug: T189966
Change-Id: Ib86ebc44b12fee3a986838c5a302540b97066e5a

diff --git a/RELEASE-NOTES-1.32 b/RELEASE-NOTES-1.32
index 941cf3f..de41aa4 100644 (file)
--- a/RELEASE-NOTES-1.32
+++ b/RELEASE-NOTES-1.32
@@ -40,7 +40,8 @@ changes to languages because of Phabricator reports.
 * …
 
 === Breaking changes in 1.32 ===
-* …
+* $wgRequestTime (deprecated in 1.25) was removed.
+  Use $_SERVER['REQUEST_TIME_FLOAT'] or WebRequest::getElapsedTime() instead.
 
 === Deprecations in 1.32 ===
 * Use of a StartProfiler.php file is deprecated in favour of placing

diff --git a/includes/WebStart.php b/includes/WebStart.php
index 6f3aa71..b24ff7a 100644 (file)
--- a/includes/WebStart.php
+++ b/includes/WebStart.php
@@ -34,13 +34,6 @@ if ( ini_get( 'mbstring.func_overload' ) ) {
 # points and when $wgOut gets disabled or overridden.
 header( 'X-Content-Type-Options: nosniff' );
 
-/**
- * @var float Request start time as fractional seconds since epoch
- * @deprecated since 1.25; use $_SERVER['REQUEST_TIME_FLOAT'] or
- *   WebRequest::getElapsedTime() instead.
- */
-$wgRequestTime = $_SERVER['REQUEST_TIME_FLOAT'];
-
 # Valid web server entry point, enable includes.
 # Please don't move this line to includes/Defines.php. This line essentially
 # defines a valid entry point. If you put it in includes/Defines.php, then