Remove setting of SearchInputWidget configs to already-default values
authorEd Sanders <esanders@wikimedia.org>
Sun, 8 Oct 2017 18:55:14 +0000 (19:55 +0100)
committerEd Sanders <esanders@wikimedia.org>
Sun, 8 Oct 2017 18:55:14 +0000 (19:55 +0100)
commit348d16867f8e14602b62b58a05f6812924fa179f
tree411580cd3042884432be49f81c4fad7cf71184f4
parent9ac5caffb48b32d2ba4b9be03a5682d657186c7f
Remove setting of SearchInputWidget configs to already-default values

Change-Id: I2710051386ba826895db9d9c675263847625e17f
includes/widget/SearchInputWidget.php
resources/src/mediawiki.widgets/mw.widgets.SearchInputWidget.js