Use SessionManagerInterface in PHPSessionHandler
authorUmherirrender <umherirrender_de.wp@web.de>
Fri, 5 Jul 2019 20:12:31 +0000 (22:12 +0200)
committerUmherirrender <umherirrender_de.wp@web.de>
Fri, 5 Jul 2019 20:12:31 +0000 (22:12 +0200)
commit8bdd844f7def4c50929297fef6496650359130a0
tree9e85340223d4572f0670c2baf2ac37bbd73db397
parente53eb5b48dc5504ae215de213b31fdf2827201a8
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
includes/session/PHPSessionHandler.php