[PHP-DEV] RE : [PHP-DEV] RFC extensions_path directive

2007-02-05 Thread P
I agree with Sara. +1 to extend 'extension_dir' :) Do you plan for adding a corresponding set_extension_path/dir() function or will we have to use ini_set() ? And, I certainly should know it, but could somebody explain why the default extensions directory contains this strange 'no-debug-non-zts

Re: [PHP-DEV] RFC extensions_path directive

2007-02-04 Thread Pierre
On 2/4/07, Wez Furlong <[EMAIL PROTECTED]> wrote: extensions_path = "/local/extensions:$DEFAULT_EXTENSIONS_DIR" +1 --Pierre -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php

Re: [PHP-DEV] RFC extensions_path directive

2007-02-04 Thread Marcus Boerger
Hello Wez, +1 marcus Sunday, February 4, 2007, 8:12:07 PM, you wrote: > We have a need for a search path for extensions, so that we can have > a system provided set of extensions and an optional location for per- > application extensions that either augment or override the baseline > ext