Add board search to index page

inc/config.php

@@ -1727,6 +1727,9 @@
     // Enable the search form
     $config['search']['enable'] = false;
 
+    // Enable search in the board index.
+    $config['board_search'] = false;
+
     // Maximal number of queries per IP address per minutes
     $config['search']['queries_per_minutes'] = Array(15, 2);
 

templates/index.html

@@ -68,6 +68,13 @@
 		{% if config.home_link %}
 		 |  <a href="{{ config.root }}">Home</a>
 		{% endif %}
+			{% if board.uri %}
+			<form style="display:inline" action="/search.php">
+				 |  <input type="text" name="search" placeholder=" /{{ board.uri }}/ search">
+					<input type="hidden" name="board" value="{{ board.uri }}">
+					<input type="submit" value="Search">
+			</form>
+		{% endif %}
 	<hr />
 
 	<form name="postcontrols" action="{{ config.post_url }}" method="post">