Merge "Make mw.widgets.SearchInputWidget extend OO.ui.SearchInputWidget"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 30 Jun 2017 11:25:43 +0000 (11:25 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 30 Jun 2017 11:25:43 +0000 (11:25 +0000)
commit0d6f186487043f4603a160dea68be808dd4ab96f
tree7e9916cd61c92f508f848b45e3714e2b19e77ebf
parent3431ab6d07a119e928aa1538a49984e790dc6ce7
parent7882e3b66060f7bbd37e15688baf4dd30954b1b7
Merge "Make mw.widgets.SearchInputWidget extend OO.ui.SearchInputWidget"