Re: extension_path not used for zend_extension
| From: | Ferenc Kovacs | Date: | Mon, 18 Apr 2011 16:06:44 +0000 |
| Subject: | Re: extension_path not used for zend_extension | ||
| References: | 1 2 | Groups: | php.internals |
| Request: | Send a blank email to internals+get-51930@lists.php.net to get a copy of this message | ||
2011/4/18 Johannes Schlüter <johannes@schlueters.de>
>
>
> On 04/18/11 05:04 PM, Ferenc Kovacs wrote:
>
>> Hi.
>>
>> I've just noticed that in spite of the documentation, one can (try to)
>> load
>> a zend_extension via a relative path.
>>
>> http://www.php.net/manual/en/ini.core.php#ini.zend-extension
>>
>> <http://www.php.net/manual/en/ini.core.php#ini.zend-extension>the
>> only
>> thing
>> preventing that from working is that the extension_dir isn't used
>> searching
>> for the lib.
>>
>
> zend_extension's are a feature of the engine. extension_dir is a feature
> from PHP's main, this means the engine doesn't know about it.
>
> I agree that usablity-wise it's nice if that's moved around ...
>
> johannes
>
thanks for the clarification.
if thats the only thing thats preventing this to work (eg. someone has to
patch the engine to be aware of the extension_dir), then I think I should
open a feature request for this.
Tyrael