Merge "registration: Only allow one extension to set a specific config setting"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 24 Oct 2017 17:52:23 +0000 (17:52 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 24 Oct 2017 17:52:23 +0000 (17:52 +0000)
commit5fa4cdf860c79b32ab6ef034c6d9420c2727f695
tree0ee690f7f03cf3b573bc1fad68c007060c660e0f
parente73b63dd3b977eb3a1606d88f374a47ac0ae102c
parent29a5fc72e3ab7d3da28bc4cc91d4bb051b9a690a
Merge "registration: Only allow one extension to set a specific config setting"
includes/registration/ExtensionProcessor.php