Lo que creo, compañero [ContraVeneno], que quieres decir es algo así:
Código PHP:
<?php
## Archivo: index.php
require_once ('linea_info.php');
require_once ('menu.php');
?>
<html>
<body>
<?php
muestra_info ('index');
muestra_menu ('index');
echo '<p>Contenido de la página.</p>';
?>
</body>
</header>
Código PHP:
<?php
## Archivo: menu.php
function muestra_menu ($ID)
{
$Rotulo = array ('Índice', 'Opción 1', 'Opción 2');
$URL = array ('/', '/pag1.php', '/pag2.php');
$ID = array ('indice', 'pagina1', 'pagina1');
echo '<ul class="menu">';
for ($Cnt = 0; $Cnt < 3; $Cnt ++) {
echo '<li class="';
if ($ID[$Cnt] == $ID) echo 'seleccionada'; else echo 'opcion';
echo '"><a href="'.$URL[$Cnt].'">'.$Rotulo[$Cnt].'</a></li>';
}
echo '</ul>';
}
?>
Sí, bueno, es una forma muy cutre de hacer un menú, pero seguro que te sirve para hacerte una idea. Que conste que lo he escrito de memoria, así que no sé qué tal funcionará.
[edito] ¿Tanto he tardado en escribir esto que te has adelantado? No sabía yo que era tan lento...