WebStart: Remove deprecated $wgRequestTime
authorTimo Tijhof <krinklemail@gmail.com>
Tue, 17 Apr 2018 22:17:39 +0000 (23:17 +0100)
committerKrinkle <krinklemail@gmail.com>
Tue, 17 Apr 2018 23:00:32 +0000 (23:00 +0000)
commit6fe856c4bd79bd196936ff6cc669635067d0cfeb
treef903e97e649dd268f37d94a23b3adc3085e910b7
parent30ba8f52dc8827578ec7901207c9cbd00e44b76a
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
includes/WebStart.php