Criando um site: Código PHP (parte 5)

<?
   // variável que receberá o valor passado pelo a href do index.php
   $pagina = $_GET['pagina'];
 
   // verifica se a variável está vazio	
   if($pagina=='')    
     include ('principal.html');
   // se não estiver vazio, verifica se o arquivo tem extensão .html 
   elseif(file_exists($pagina.'.html')){
     include($pagina.'.html');
   }		
   // se não for .html, verifica se o arquivo tem extensão .php 
   elseif(file_exists($pagina.'.php')){
     include($pagina.'.php');
   }
   // nehuma das condições acima, exibe a pagina principal
   else 
     include ('principal.html');
?>