puoi mettere include(path_file) ma poi devi salvare il file che contiene l'include con estensione php quindi se era
prova.html, una volta che hai messo "include" deve diventare prova.php.