Merge pull request #15816 from MiyaNoctem/dev-core-1383-fix-reinstallation-of-extensi...
authorEileen McNaughton <emcnaughton@wikimedia.org>
Fri, 22 Nov 2019 02:26:30 +0000 (15:26 +1300)
committerGitHub <noreply@github.com>
Fri, 22 Nov 2019 02:26:30 +0000 (15:26 +1300)
dev/core#1383: Fix Re-Installation of Extensions With Logging Enabled


Trivial merge