Req #9095 [Opn->Csd]: Allow multiple directories in extension_dir

From: Date: Tue, 17 Feb 2015 08:09:44 +0000
Subject: Req #9095 [Opn->Csd]: Allow multiple directories in extension_dir
References: 1  Groups: php.bugs 
Request: Send a blank email to php-bugs+get-190730@lists.php.net to get a copy of this message
Edit report at https://bugs.php.net/bug.php?id=9095&edit=1 ID: 9095 Updated by: krakjoe@php.net Reported by: leeym at caece dot net Summary: Allow multiple directories in extension_dir -Status: Open +Status: Closed Type: Feature/Change Request Package: PHP options/info functions Operating System: * PHP Version: * -Assigned To: +Assigned To: krakjoe Block user comment: N Private report: N New Comment: 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. Previous Comments: ------------------------------------------------------------------------ [2011-03-12 21:54:10] 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. ------------------------------------------------------------------------ [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 https://bugs.php.net/bug.php?id=9095&edit=1

« previous php.bugs (#190730) next »