<?php 
	$pagina = htmlspecialchars($_GET['pagina']); #Hier maken we een variable, Geef aan bij GET wat je wilt gebruiken
	$pagina = str_replace("http://", "", $pagina);
	$pagina = str_replace("www", "", $pagina);
	$ext = array('php', 'php3', 'html', 'htm', 'zip'); #Hier maken we een array aan met de extenties die wel mogen 

	$extensies = explode('.', $pagina); #Explode, Spreekt voor zich 
	$extensie  = end($extensies); #End, Zet de interne pointer van een array op zijn laatste element 
	
	if (in_array($extensie, $ext)){ #In array als dus de extentie in de array staat mag hij door 
		$tg = true; #Return true 
	} else { 
		$tg = false; #Return False 
	} 
	
	if($tg == true){ #Als de tg (Toegestaan) true is mag hij door 
		if(file_exists($pagina)){ #Als de pagina bestaat include 
		include($pagina); #Include 
	} 
		} else { #Anders 
	echo'De extentie is niet toegestaan!'; #Error geven dat de extentie niet mag 
	} 
?>