Merge "MessageCache: replace should actually replace, not reload"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 11 Oct 2018 20:56:33 +0000 (20:56 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 11 Oct 2018 20:56:33 +0000 (20:56 +0000)
commitd69b967481649acbf8fa3d4e60df821bd24fda01
tree93490e586191089f0a9ef72090dacf6b0b09da1b
parent14f007fdceee679b820444cdc4770cf7ac4b17ef
parent08e9eb1fef635a00a738e8785b24f3d4ae385390
Merge "MessageCache: replace should actually replace, not reload"
includes/cache/MessageCache.php