SearchInputWidget: Replace pushPending hack
authorEd Sanders <esanders@wikimedia.org>
Thu, 2 May 2019 16:15:20 +0000 (17:15 +0100)
committerEd Sanders <esanders@wikimedia.org>
Thu, 2 May 2019 16:27:37 +0000 (17:27 +0100)
commite8a2f22aae4800da0714c3e8a738074f62905eae
treed044bdbac026f9fa58ac6755539acef096d5bb7f
parent6f3786a57d6a27befcb8f04281e2786ace6a1dc3
SearchInputWidget: Replace pushPending hack

Use the showPendingRequest config option instead of setting
a prototype method to false.

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