SearchInputWidget: Fix documented default for 'pushPending' option
authorBartosz Dziewoński <matma.rex@gmail.com>
Thu, 29 Jun 2017 19:57:05 +0000 (21:57 +0200)
committerBartosz Dziewoński <matma.rex@gmail.com>
Thu, 29 Jun 2017 20:24:56 +0000 (22:24 +0200)
commit49eeea21248d2de5f42a8aaf313d400d42724ace
treee5b808a34ac8fc10ec8dda991544d86e98029a91
parentbf6e21a4c2af3913c9ff499cc817ad2ff146b1b0
SearchInputWidget: Fix documented default for 'pushPending' option

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