Set cpPosTime cookie for the non-redirect case as well
authorAaron Schulz <aschulz@wikimedia.org>
Wed, 14 Sep 2016 06:52:05 +0000 (23:52 -0700)
committerAaron Schulz <aschulz@wikimedia.org>
Wed, 14 Sep 2016 06:52:11 +0000 (23:52 -0700)
commita3814f52c4ef292eda1c3bf8e8aa2ac61e9b6e5d
treed847197d0cfce1dbc1beb2bd21418d56c38a13a4
parentc954a4efe8cd121a8f298f0d80011f9edd25d9fd
Set cpPosTime cookie for the non-redirect case as well

This is useful if the ChronologyProtector store cannot sync
among datacenters and waitForReplication() is DC-local.
It only applies if the user stays on the domain, however.

Change-Id: I800cade7b87a0f02d6a429e70924c54189a4a7af
includes/MediaWiki.php