Add option to hide missing pages while searching
authorpetarpetkovic <ppetkovic@wikimedia.org>
Mon, 9 Oct 2017 18:58:42 +0000 (20:58 +0200)
committerpetarpetkovic <ppetkovic@wikimedia.org>
Mon, 16 Oct 2017 10:40:25 +0000 (12:40 +0200)
commita8011ee3dd58b29090a24adf86995bfa8fff34a2
tree44b0acfa4bc4b77ac8e0bdab34d48bedc1d61c26
parentb1ef2ada37cc07db59ff91f8fc971be971b9d382
Add option to hide missing pages while searching

Bug: T177469
Change-Id: I9e7dd451c61a6a88679628acbbf28d45c0a1e0e8
resources/src/mediawiki.widgets/mw.widgets.TitleWidget.js