Casi está...
En primer lugar, aquí está la traducción al PHP:
Código PHP:
<?
$pagina=$_POST['pagina'];
?>
<html>
<head>
<script language="javascript">
pagina= "<? echo $pagina ?>"
if (pagina==null){pagina="entrada.php"}
</script>
</head>
Sólo me queda un pequeño problemilla por resolver:
Si se entra directamente por
http://www.misitio.com al entrar en principal.php en el iframe no se carga entrada.php que es la página por defecto.
Si te sirve de algo principal.php es una página con varios módulos en uno de los cuales (centro.php) es donde se carga el iframe. Por supuesto el código que me decías de poner en principal.php lo he puesto en centro.php. Pero no funciona (no sé si lo de los módulos tendrá algo que ver...
Salu2.