Merge "Lazy-infuse OOUI widgets by tab"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 11 Sep 2018 22:21:03 +0000 (22:21 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 11 Sep 2018 22:21:03 +0000 (22:21 +0000)
commitddab96c7281532dd1d3452c61947ac2418933a1e
tree08b0fe8287edd5d6a0a326d4cb3174ce2b7d8286
parentec144bdf18cea555602cca7d5fdf0c4ad7968704
parente0aa41281e253373d1352560556ef597f4772e04
Merge "Lazy-infuse OOUI widgets by tab"