3 $filename = htmlspecialchars($_REQUEST['filename']);
7 if (substr($filename, 0, 2) == './')
9 $filename = substr($filename, 2);
14 <form action
="hilight.php" method
="get" name
="hilite">
15 File name
: <input type
="text" name
="filename" value
="./$filename" size
="35" />
16 <input type
="submit" value
="Process" accesskey
="s" />
23 highlight_file("../$filename");