Merge "registration: Expose config array to ExtensionRegistry"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 19 Jul 2018 14:26:51 +0000 (14:26 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 19 Jul 2018 14:26:51 +0000 (14:26 +0000)
commit32fd2342e5648ec7d37eecb00fc4044a3a7526a9
treeccc5f29e2ba0fe66909bbd7fb65bbd52f84b3d9d
parent1fb12414dba64fbe78bfd63da696a4c0fa4c2c24
parent488796a9c4e7ba0ee059a6765988fe47a20b94a9
Merge "registration: Expose config array to ExtensionRegistry"