Revert "Add MediaWiki-Timestamp header to ResourceLoader requests"
authorOri Livneh <ori@wikimedia.org>
Mon, 2 Nov 2015 21:36:07 +0000 (13:36 -0800)
committerOri Livneh <ori@wikimedia.org>
Mon, 2 Nov 2015 21:36:18 +0000 (13:36 -0800)
I have not had the time and wherewithal to write the follow-up code that
actually uses this value. So just remove it for now.
This reverts commit 3d5aca4a406424bf69016f9c7c4a94b317b62d25.

Change-Id: Ice9b65f39802b55b3d4ddf801c06d1be3227fd5b

includes/resourceloader/ResourceLoader.php

index f7ba4d2..85ef3c3 100644 (file)
@@ -802,11 +802,6 @@ class ResourceLoader implements LoggerAwareInterface {
                        $exp = min( $maxage, $smaxage );
                        header( 'Expires: ' . wfTimestamp( TS_RFC2822, $exp + time() ) );
                }
-
-               // Send the current time expressed as fractional seconds since epoch,
-               // with microsecond precision. This helps distinguish hits from misses
-               // in edge caches.
-               header( 'MediaWiki-Timestamp: ' . microtime( true ) );
        }
 
        /**