Add MediaWiki-Timestamp header to ResourceLoader requests
authorOri Livneh <ori@wikimedia.org>
Fri, 3 Jul 2015 02:20:41 +0000 (19:20 -0700)
committerGilles Dubuc <gdubuc@wikimedia.org>
Wed, 15 Jul 2015 06:35:45 +0000 (08:35 +0200)
commit3d5aca4a406424bf69016f9c7c4a94b317b62d25
treed027975c65ba02e8bf4552eeeab4c19dbe3e16f8
parent4dece4834a7bcc3785ece8ebe93524b9dda3cf53
Add MediaWiki-Timestamp header to ResourceLoader requests

To help distinguish cache hits from cache misses, send a MediaWiki-Timestamp
header on ResourceLoader responses, indicating the current time as fractional
seconds since epoch, with microsecond precision.

Change-Id: I954a96ced1435a47d458de12411b257fe6b4ea34
includes/resourceloader/ResourceLoader.php