Cambiamos la extensión de los archivos de html a php