Req #9095 [Com]: Allow multiple directories in extension_dir
| From: | stuporglue at gmail dot com | Date: | Sat, 12 Mar 2011 20:54:10 +0000 |
| Subject: | Req #9095 [Com]: Allow multiple directories in extension_dir | ||
| References: | 1 | Groups: | php.bugs |
| Request: | Send a blank email to php-bugs+get-159444@lists.php.net to get a copy of this message | ||
Edit report at http://bugs.php.net/bug.php?id=9095&edit=1
ID: 9095
Comment by: stuporglue at gmail dot com
Reported by: leeym at caece dot net
Summary: Allow multiple directories in extension_dir
Status: Open
Type: Feature/Change Request
Package: PHP options/info functions
Operating System: *
PHP Version: *
Block user comment: N
Private report: N
New Comment:
Here's my use case:
Our shared hosting allows us to set the extension_dir in our own php.ini
file. I have compiled a couple of extensions for my own use. If I want
to use the hosting provided extensions and my own extensions I currently
have to copy the provided extensions into my extension directory. Not a
big deal, but seems like it shouldn't be necessary.
Previous Comments:
------------------------------------------------------------------------
[2010-12-29 11:45:37] jani@php.net
See also bug #41310
------------------------------------------------------------------------
[2001-02-03 21:11:04] leeym at caece dot net
Could you please make extension_dir become a colon/semicolon delimitd
string (just like include_path), because I wanna set more then one
extension_dir in php.ini .
For example, I want to set extension_dir =
".:/usr/local/lib/php/extensions" so that I can both put user-specified
dymanic extensions in working directory and system-wide ones in
/usr/local/lib/php/extensions.
Thank you.
--
Yen-Ming Lee
------------------------------------------------------------------------
--
Edit this bug report at http://bugs.php.net/bug.php?id=9095&edit=1