From 6fe856c4bd79bd196936ff6cc669635067d0cfeb Mon Sep 17 00:00:00 2001 From: Timo Tijhof Date: Tue, 17 Apr 2018 23:17:39 +0100 Subject: [PATCH] WebStart: Remove deprecated $wgRequestTime This variable is not read anywhere in Wikimedia Git. Follows-up 06ba5ca383e2. Bug: T189966 Change-Id: Ib86ebc44b12fee3a986838c5a302540b97066e5a --- RELEASE-NOTES-1.32 | 3 ++- includes/WebStart.php | 7 ------- 2 files changed, 2 insertions(+), 8 deletions(-) diff --git a/RELEASE-NOTES-1.32 b/RELEASE-NOTES-1.32 index 941cf3f1f0..de41aa4bfe 100644 --- 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 6f3aa71624..b24ff7a8aa 100644 --- 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 -- 2.20.1