Re: mod_dav
| From: | Zeev Suraski | Date: | Tue, 05 Dec 2000 23:07:19 +0000 |
| Subject: | Re: mod_dav | ||
| References: | 1 | Groups: | php.dev |
| Request: | Send a blank email to php-dev+get-40175@lists.php.net to get a copy of this message | ||
I agree :)
At 00:57 6/12/2000, Jani Taskinen wrote:
On Tue, 5 Dec 2000, Andrei Zmievski wrote: I'd like to remove or somehow obsolete ext/dav extension. People still try to build it and it's time it was gone. What should be the best way to do it? Just ditch the bitch. Why have something in which doesn't work at all? There has been a note about it in the TODO list for a long time now. --Jani -- PHP Development Mailing List <http://www.php.net/> To unsubscribe, e-mail: php-dev-unsubscribe@lists.php.net For additional commands, e-mail: php-dev-help@lists.php.net To contact the list administrators, e-mail: php-list-admin@lists.php.net-- Zeev Suraski <zeev@zend.com> CTO, Zend Technologies Ltd. http://www.zend.com/