On Tue, 14 Jun 2005, Edin Kadribasic wrote: > edink Tue Jun 14 18:25:50 2005 EDT > > Added files: > /php-src/ext/date config.w32 > Log: > Added win32 build file > > > http://cvs.php.net/co.php/php-src/ext/date/config.w32?r=1.1&p=1 > Index: php-src/ext/date/config.w32 > +++ php-src/ext/date/config.w32 > // $Id: config.w32,v 1.1 2005/06/14 22:25:48 edink Exp $ > // vim:ft=javascript > > ARG_WITH("date", "Whether you want date/time support", "no"); > > if (PHP_DATE == "yes") {
This should ALWAYS be enabled, as it's the replacement for strtotime() (and later others). You can not allow people to turn this extension off as it's an integral part. The only reason why it made it into ext/ is because ext/standard is already so cluttered. regards, Derick -- Derick Rethans http://derickrethans.nl | http://ez.no | http://xdebug.org -- PHP CVS Mailing List (http://www.php.net/) To unsubscribe, visit: http://www.php.net/unsub.php
