Do not vary on session cookies when the session is disabled
authorGergő Tisza <tgr.huwiki@gmail.com>
Wed, 24 Feb 2016 06:45:04 +0000 (22:45 -0800)
committerGergő Tisza <tgr.huwiki@gmail.com>
Thu, 25 Feb 2016 20:51:32 +0000 (12:51 -0800)
commit20a247e40eeba4712f0b179b82e8e090d89a7090
tree65bd5647551e0e468208304556b0b550b249a339
parentccd0fcadc560e263939ea93507b01dcd40322c58
Do not vary on session cookies when the session is disabled

MW_NO_SESSION is supposed to be used in a deterministic way
(either always or never for a given endpoint) so there is
no point to split the cache on session cookies when it is
used (except when it's set to 'warn' in which case it is
not really used).

Bug: T127233
Change-Id: If44e0ec2167359e081e1b4cd4d21e62bd357d23e
includes/session/SessionManager.php