Make SessionBackend::save() update the user post-send
authorAaron Schulz <aschulz@wikimedia.org>
Sun, 11 Sep 2016 19:52:11 +0000 (12:52 -0700)
committerAaron Schulz <aschulz@wikimedia.org>
Wed, 12 Oct 2016 18:14:45 +0000 (11:14 -0700)
commit4a2085523fce81ba4d75eb6946f5c7ae069bb1d2
tree1974bb890d8f0c375859ab0f2b7698281611c025
parent5738075f503e750d05b31fab41c4e6f68068bd2e
Make SessionBackend::save() update the user post-send

Bug: T92357
Change-Id: Id4f4991aca1ceeb74b59e980f09863041246a4fc
includes/MediaWiki.php
includes/deferred/DeferredUpdates.php
includes/session/SessionBackend.php