<?php
if (isset($_GET["page"]) && !empty($_GET["page"])) {
	$page = $_GET["page"];
	//controle de sécurité : interdiction de "://" et ".." et "/" et vérification de l'existance du fichier
	$page = str_replace("://", "", $page);
	$page = str_replace("..", "", $page);
	$page = str_replace("/", "", $page);
	if (file_exists("/home/leblanc/www/scripts/".$page) && $page != "view_source.php") {
		highlight_file($page);
	}
}
?>