Umherirrender 8bdd844f7d Use SessionManagerInterface in PHPSessionHandler ... SessionManager::singleton is returning the interface and that is used for PHPSessionHandler::install, so switching the whole class to the interface as type hint Change-Id: I400ad1d13df92983142e735749ee8d2e12d28b34		2019-07-05 22:12:31 +02:00
..
BotPasswordSessionProvider.php
CookieSessionProvider.php	Add @var to class properties to clarify types	2019-03-08 19:09:51 +00:00
ImmutableSessionProviderWithCookie.php	Add @var to class properties to clarify types	2019-03-08 19:09:51 +00:00
MetadataMergeException.php
PHPSessionHandler.php	Use SessionManagerInterface in PHPSessionHandler	2019-07-05 22:12:31 +02:00
Session.php	Add some more missing limit parameters to explode() calls	2019-04-05 14:34:39 +00:00
SessionBackend.php	Use AtEase::quietCall() instead of Wikimedia\quietCall()	2019-06-10 14:18:19 +00:00
SessionId.php
SessionInfo.php	Add @var to class properties to clarify types	2019-03-08 19:09:51 +00:00
SessionManager.php	Follow up to 'Remove support for the deprecated Key header'	2019-06-20 15:01:51 -04:00
SessionManagerInterface.php	Follow up to 'Remove support for the deprecated Key header'	2019-06-20 15:01:51 -04:00
SessionProvider.php	Remove $wgUseKeyHeader and OutputPage::getKeyHeader(), deprecated in 1.32	2019-06-19 15:14:54 -04:00
SessionProviderInterface.php
Token.php	Add @var to class properties to clarify types	2019-03-08 19:09:51 +00:00
UserInfo.php	Add @var to class properties to clarify types	2019-03-08 19:09:51 +00:00