<?
include($_SERVER["DOCUMENT_ROOT"]."/definitions.php");
if(
count($_GET)==0highlight_file($_SERVER["DOCUMENT_ROOT"].$_SERVER["PHP_SELF"]);
if(!
array_key_exists("file",$_GET)) die();
$check=strpos("/../",$_GET["file"]);
if(
$check===FALSE)
    
highlight_file($_GET["file"]);
else
    die(
"Can be seen only the files from repository");
?>