Re: cvs: livedocs /themes/default html_format.php
| From: | Mehdi Achour | Date: | Sun, 21 Mar 2004 14:54:41 +0000 |
| Subject: | Re: cvs: livedocs /themes/default html_format.php | ||
| References: | 1 2 | Groups: | php.doc |
| Request: | Send a blank email to phpdoc+get-969359706@lists.php.net to get a copy of this message | ||
Derick Rethans wrote:
On Sun, 21 Mar 2004, Nuno Lopes wrote:Nope, I keeped it when implementing the --with-theme option for configure. It's the default value "default" didounlopess Sun Mar 21 05:56:11 2004 EDT Modified files: /livedocs/themes/default html_format.php /livedocs/themes/php.net html_format.php Log: these function are not need anymore I hope so.... :)Just wondering... is the old 'style' (like at http://docs.php.net) totally gone now?