Fix stale client caching of history pages with $wgShowUpdateMarker enabled