Suppress SessionManager sessions in the installer
authorTim Starling <tstarling@wikimedia.org>
Wed, 10 Feb 2016 10:04:28 +0000 (21:04 +1100)
committerTim Starling <tstarling@wikimedia.org>
Wed, 10 Feb 2016 23:48:28 +0000 (10:48 +1100)
commit6a269d4d8df38746830b012cda5d9120f501f7d6
treea0103cd0be4ae3f714da4abc0b4f6143fc260a57
parente089a5c023b61e3b31c872864214ec6479ed9149
Suppress SessionManager sessions in the installer

SessionManager cannot work in the installer since it depends on
ObjectCache which is just an EmptyBagOStuff and so doesn't store
anything. So, introduce a custom SessionProvider which pretends to
persist sessions but actually doesn't.

Bug: T126177
Change-Id: I13d8aa1453c519df7c19ca2f1fb052c99ade043c
autoload.php
includes/installer/Installer.php
includes/installer/InstallerSessionProvider.php [new file with mode: 0644]