¿Hay alguna forma especial de usar PHP para incluir archivos de encabezado en un archivo HTML?

Curiosamente, acabo de escribir sobre esto en la respuesta de Heidi Cool a ¿Cómo se crea un archivo de encabezado masivo para que no tenga que seguir agregando el mismo script y etiquetas de enlace en todas sus páginas web?

trabajaría. También puede incluir … en el archivo que está incluyendo.

Nota: debe tener en cuenta las rutas relativas si sus archivos no están todos en el mismo directorio.

Además, los archivos que incluyen esto también deben terminar en .php. Por lo tanto, usaría index.php en lugar de index.html.

Sí, puedes incluir archivos con PHP. Hay 4 construcciones diferentes para eso, que difieren con respecto a lo que sucederá si no se puede encontrar el archivo y si el mismo archivo se puede incluir más de una vez: include, include_once, require y require_once.

Todos los que conozco han intentado crear una inclusión dinámica de encabezados.

Cuando lo supe, esto no fue posible debido al orden en que se procesa la página.

Puede ser posible ahora, no estoy seguro.

Una forma simple