[thelist] Re: HOWTO read PHP source code into a textarea

[Tim Burgan]

> <?
> $str = file_get_contents('nav.php');
> echo "<textarea name=code>{$str}</textarea>";
> ?>

Thanks Jamie.

I was trying to use file(), with some problems.. then I was reading the 
PHP manual for a different issue, when I stumbled across 
file_get_contents(). Perfect! You're right, it works really well.

Thanks

Tim