Unpersist the session on logout
commit6d4436c9156acba552db4c70d6cc129f6d0ce6ef
authorBrad Jorsch <bjorsch@wikimedia.org>
Fri, 26 Feb 2016 21:17:37 +0000 (26 16:17 -0500)
committerBrad Jorsch <bjorsch@wikimedia.org>
Mon, 29 Feb 2016 20:39:25 +0000 (29 15:39 -0500)
treed153e5390409899d66e1f6915dba4b0e11c53009
parente75f2ab0f2d430015775e8c7fecc4f58aabeb974
Unpersist the session on logout

Clearing the cookies in this case is probably a good idea.

This also clears cookies when a non-persisted session's metadata is
dirty, for parallelism with what happens to persisted sessions.

Bug: T127436
Change-Id: I76897eaac063e5e3c3563398d0f4cb36cf93783b
includes/WebRequest.php
includes/session/Session.php
includes/session/SessionBackend.php
includes/user/User.php
tests/phpunit/includes/session/SessionBackendTest.php
tests/phpunit/includes/session/SessionTest.php