Fix stale client caching of history pages with $wgShowUpdateMarker enabled
authorAaron Schulz <aschulz@wikimedia.org>
Thu, 9 May 2019 00:21:36 +0000 (17:21 -0700)
committerTimo Tijhof <krinklemail@gmail.com>
Fri, 12 Jul 2019 16:20:53 +0000 (17:20 +0100)
commitc3940d01d619257ac5829e9c39a89a2443d5a220
treea1e9ebf23c319443b14cad0ccd757f5bb694dec4
parent4ceaf24937f706bea4c3f1cdda161ad8a1eb8d26
Fix stale client caching of history pages with $wgShowUpdateMarker enabled

Change-Id: I5b9d986e4f34166f2a1602129d2e01573bfe7ac5
includes/Title.php
includes/actions/HistoryAction.php