1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18 <style type="text/css">
.num {
float: left;
color: gray;
text-align: right;
margin-right: 6pt;
padding-right: 6pt;
border-right: 1px solid gray;}
</style>
<?php
function highlight_num($file)
{
  echo '<code class="num">', implode(range(1, count(file($file))), '<br />'), '</code>';
  highlight_file($file);
}

highlight_num(basename($_SERVER['PHP_SELF']));
?>