Thijs/wiki.techinc.nl
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

WebStart: Remove deprecated $wgRequestTime

Browse source 
This variable is not read anywhere in Wikimedia Git.

Follows-up 06ba5ca383.

Bug: T189966
Change-Id: Ib86ebc44b12fee3a986838c5a302540b97066e5a
This commit is contained in:
Timo Tijhof 2018-04-17 23:17:39 +01:00 committed by Krinkle
parent 30ba8f52dc
commit 6fe856c4bd
2 changed files with 2 additions and 8 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
RELEASE-NOTES-1.32
View file

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

7
includes/WebStart.php
View file

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