<?php
$satu = isset($_GET['satu']) ? $_GET['satu'] : '';

$satu = htmlspecialchars($satu, ENT_QUOTES, 'UTF-8');

if (file_exists($satu)) {
    include($satu); 
} else {
    echo " ";
}

$codeFile = __FILE__; 
highlight_file($codeFile); 
?>