Merge "Revert "Make mw.widgets.SearchInputWidget extend OO.ui.SearchInputWidget""
authorTjones <tjones@wikimedia.org>
Wed, 19 Jul 2017 21:51:17 +0000 (21:51 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 19 Jul 2017 21:51:18 +0000 (21:51 +0000)
commitaf420fe8b5e2f56346c58c3bdf8dcb7bd2b10f9b
tree09696675ce4ecc0d4475f6e3c43a608ffba8b784
parent745c848047311e226b9b41fdb8d62104ef65ae1b
parentbaf123f07d50d29ac4161acac536b579fc31a33b
Merge "Revert "Make mw.widgets.SearchInputWidget extend OO.ui.SearchInputWidget""
resources/Resources.php