At 17:52 06/08/2001, Andrei Zmievski wrote:
>On Mon, 06 Aug 2001, Zeev Suraski wrote:
> > How so? I can understand that people get used to it, but it's really
> > bad. extensions should be loaded in the php.ini file. There's really no
> > good reason for using dl() over the php.ini method.
>
>Of course there is. One example is using the same PHP binary to run
>scripts that use different extensions that wouldn't necessarily want to
>load all the time through php.ini.
That's one of the places where the PHP/Web functionality and a
PHP-standalone functionality collide. In a Web environment, it really
makes no sense.
The right solution for that is most probably going to be adding a command
line option that loads an extension (we already have that for Zend extensions).
Loading extensions from within a script is simply a pain to support, and it
doesn't really give you anything.
Zeev
--
PHP Development 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]
