Also redirect if prefixed https cookie is preset
authorcsteipp <csteipp@wikimedia.org>
Sat, 31 Aug 2013 00:00:03 +0000 (17:00 -0700)
committercsteipp <csteipp@wikimedia.org>
Sat, 31 Aug 2013 00:00:03 +0000 (17:00 -0700)
commit5e5843689a71e71e47145888360da590362839cf
tree7f01120c9d2acbac81498981ed860f7441095178
parent870f710234d99d6e168dc26833601bfcfdc5fdbf
Also redirect if prefixed https cookie is preset

After we switch to not using prefixes, still respect prefixed cookies
for users who are currently logged in.

Bug: 53538
Change-Id: I950e36e10420209fca28c41c438c363a3f332c14
includes/Wiki.php