|  support |  documentation |  report a bug |  advanced search |  search howto |  statistics |  random bug |  login
Request #9095 Allow multiple directories in extension_dir
Submitted: 2001-02-03 21:11 UTC Modified: 2015-02-17 08:09 UTC
Avg. Score:4.7 ± 0.5
Reproduced:11 of 11 (100.0%)
Same Version:4 (36.4%)
Same OS:4 (36.4%)
From: leeym at caece dot net Assigned: krakjoe (profile)
Status: Closed Package: PHP options/info functions
PHP Version: * OS: *
Private report: No CVE-ID: None
Welcome back! If you're the original bug submitter, here's where you can edit the bug or add additional notes.
If this is not your bug, you can add a comment by following this link.
If this is your bug, but you forgot your password, you can retrieve your password here.
Bug Type:
From: leeym at caece dot net
New email:
PHP Version: OS:


 [2001-02-03 21:11 UTC] 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


Add a Patch

Pull Requests

Add a Pull Request


AllCommentsChangesGit/SVN commitsRelated reports
 [2010-12-29 11:45 UTC]
-Summary: colon/semicolon delimitd extension_dir ? +Summary: Allow multiple directories in extension_dir -Package: Feature/Change Request +Package: PHP options/info functions -Operating System: FreeBSD-4.2-STABLE +Operating System: * -PHP Version: 4.0.4pl1 +PHP Version: *
 [2010-12-29 11:45 UTC]
See also bug #41310
 [2011-03-12 21:54 UTC] stuporglue at gmail dot com
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.
 [2015-02-17 08:09 UTC]
-Status: Open +Status: Closed -Assigned To: +Assigned To: krakjoe
 [2015-02-17 08:09 UTC]
This is no longer necessary, since you can use an absolute path to load extensions not in extension_dir, see #41310.

Marking closed, sorry about the delay.
PHP Copyright © 2001-2024 The PHP Group
All rights reserved.
Last updated: Wed May 29 19:01:32 2024 UTC