Change-Id: Id11f4f479d5225d92e38b2ae83b25315591b73d6
# 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