On Sunday 01 July 2001 13:57, Justin French wrote:
> If you grab a decent text editor, and do a search and replace accross
> the whole site (decent text editors can do search and replace on a
> whole directory or disk), you'll have a once-off chore, rather than
> giving the server a constant chore.
[...]
> so <!-- include file="stuff.txt" -->
> becomes <?php include('stuff.php'); ?>
>
> easy. the bad bit is that you've got to then go and rename each
> extension .php instead of .txt, but you are going to have this problem
No need to rename them. They're only accessed via include(), so PHP
parses them regardless of the filename.
--
Christian Reiniger
LGDC Webmaster (http://lgdc.sunsite.dk/)
...10001000110101011010101101011110111010113...????
--
PHP General Mailing List (http://www.php.net/)
To unsubscribe, e-mail: [EMAIL PROTECTED]
For additional commands, e-mail: [EMAIL PROTECTED]
To contact the list administrators, e-mail: [EMAIL PROTECTED]
