CookieSessionProvider: It's persisted if we have a 'Token' cookie
authorBrad Jorsch <bjorsch@wikimedia.org>
Tue, 16 Feb 2016 17:13:32 +0000 (12:13 -0500)
committerBrad Jorsch <bjorsch@wikimedia.org>
Tue, 16 Feb 2016 17:13:32 +0000 (12:13 -0500)
commit220ec673f57501ad83805ae8d6c45d922bff1f2d
treef2ae04a58aa2d7fbad1d8768719a5e6384860bf5
parent014540547b743290155ae6999d97c173aaaddea0
CookieSessionProvider: It's persisted if we have a 'Token' cookie

This aspect of the pre-SessionManager Setup.php code had been
overlooked.

This also updates an inaccurate doc comment that I happened to notice.

Bug: T125313
Change-Id: Id49836086be837012b02885ce5384ae6a4ebc105
includes/session/CookieSessionProvider.php
includes/session/SessionInfo.php