Kannst Du denn andere (php-)Dateien hochladen?
Ich meine dann wärs ja echt trivial, etwa so (vollkommen ungetestet und ins blaue geschrieben):
PHP-Code:
//html rumpf mit body etc.
$rgf = file($dateipfad);
foreach ($rgf as $ef)
echo $ef.'<br />';
//html rumpf ende etc.
Dann einfach das Skript hochladen, aufrufen alles markieren und voila.