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)
commitf28f315e215039ea5b85e5c5b61d99ae490ba287
tree43d21778c45b7fccb889ae22dbee2e1026d9fbb3
parent375ea782018b700b5ef829e41971ac256ddab42e
parent363c450b7b3c490603565b691f0f8673cdaa5951
Merge pull request #15816 from MiyaNoctem/dev-core-1383-fix-reinstallation-of-extensions-with-logging

dev/core#1383: Fix Re-Installation of Extensions With Logging Enabled