01 <?php
02
03 echo '
04 <form name="form1" method="POST" action="'.$_SERVER['PHP_SELF'].'">
05 <input type="text" name="selected_file" />
06 <input type="submit" value="view highlighted code" />
07 </form>
08 <hr />';
09
10 if(!empty($_POST['selected_file']))
11 {
12
13 $userfile = $_POST['selected_file'];
14 echo '
15 <p><b>full path:</b> '.$userfile.'</p>';
16
17 $myArray = explode('/',$userfile);
18 $selected_file_name = end($myArray);
19 echo '
20 <p><b>filename:</b> ' . $selected_file_name . '</p>
21 <hr />';
22
23 $strFile = file($selected_file_name);
24 $newStr = join(' ',$strFile);
25
26 echo '
27 <div style="background: whitesmoke; width: 600px;">';
28
29 highlight_string($newStr);
30
31 echo '
32 </div>';
33
34 echo '
35 <hr />
36 <p><i>End Of File</i></p>';
37
38 }else{
39
40 echo '
41 <p>Please select a file.</p>';
42
43 }
44
45 ?>