Merge "Add MediaWiki-Timestamp header to ResourceLoader requests"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 15 Jul 2015 07:30:24 +0000 (07:30 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 15 Jul 2015 07:30:24 +0000 (07:30 +0000)
commit612fbbf536c818686ab32a55911b77cc812394d5
tree2d6257b6b3cc3a2eeacc2c60d68f3f8fb504c155
parent8352deb9852449f44aec3a2be71d2cc5deffdf2a
parent3d5aca4a406424bf69016f9c7c4a94b317b62d25
Merge "Add MediaWiki-Timestamp header to ResourceLoader requests"
includes/resourceloader/ResourceLoader.php