Merge pull request #645 from wikimedia/required-search-field

Make main search field required
wikimedia · Sep 23, 2022 · 731718c · 731718c
2 parents 8d85f95 + 6fe398c
commit 731718c
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/Controller/SearchController.php b/src/Controller/SearchController.php
@@ -32,6 +32,7 @@ public function index(Intuition $intuition, Session $session):Response
             'id' => 'search-widget',
             'infusable' => true,
             'value' => $failedSearchTerm[0] ?? '',
+            'required' => true,
         ]);
         $button = new Tag( 'button' );
         $button->setAttributes(['type' => 'submit']);