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)
1  2 
resources/Resources.php

Simple merge