Source Code for /public/search/index.php

<?php
// Include the functions.php file, which provides functions we use all over the place:
require('../inc/functions.php');
require('../inc/searchindex.php');

// Render our HTML header, including this lesson's title
add_header('Search');
?>

<form action="/search/#search-results" method="get" id="search-form">
  <input type="search" aria-label="Search the site" autofocus autocomplete="off" name="q" placeholder="Search..." value="<?php echo htmlspecialchars($_GET['q'] ?? ''); ?>">
  <button type="submit">Search</button>
</form>

<div id="search-results" style="display: none;">
  <h2>
    Search Results
  </h2>
  <ul id="search-results-list">
  </ul>
</div>

<script type="application/json" id="search-index">
  <?php echo search_index_json(); ?>
</script>

<script src="/js/lunr.js"></script>
<script src="/js/search.js"></script>

<?php
add_footer();
?>