Merge "Use ExtensionRegistry instead of class name"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 15 Aug 2019 08:02:53 +0000 (08:02 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 15 Aug 2019 08:02:53 +0000 (08:02 +0000)
commit59491d8289f9c27e73eeb1c8bc1bd03fbc3fe360
treebee9c53674232e2505fb92063045c9f09f3c99e2
parentd639af832d0c4fa518a18b90ae4d8eee8eb7ad4b
parente1518660e17f9417c0b94dc821b22a08de6af35c
Merge "Use ExtensionRegistry instead of class name"