Buscador de archivos PHP

[NSD]

Asi como lo planteas no veo la necesidad de usar php.

Código HTML:

<form onsubmit="return search_form()" id="search_form">
    <input type="search" id="search">
    <input type="submit" value="Buscar">
</form>
<script>
    function search_form() {
        window.location = 'http://localhost/tu_carpeta/'+document.querySelector("#search_form #search").value+'.html'; 
        return false; 
    }
</script>