Bug #81699 [Opn->Nab]: ini_set('extension_dir', .. ) not work
| From: | cmb@php.net | Date: | Mon, 06 Dec 2021 21:49:14 +0000 |
| Subject: | Bug #81699 [Opn->Nab]: ini_set('extension_dir', .. ) not work | ||
| References: | 1 | Groups: | php.bugs |
| Request: | Send a blank email to php-bugs+get-238229@lists.php.net to get a copy of this message | ||
Edit report at https://bugs.php.net/bug.php?id=81699&edit=1
ID: 81699
Updated by: cmb@php.net
Reported by: yacibet848 at sinagalore dot com
Summary: ini_set('extension_dir', .. ) not work
-Status: Open
+Status: Not a bug
Type: Bug
-Package: *General Issues
+Package: PHP options/info functions
Operating System: windows
PHP Version: 8.1.0
-Assigned To:
+Assigned To: cmb
Block user comment: N
Private report: N
New Comment:
extension_dir is PHP_INI_SYSTEM; what that means is documented in
<https://www.php.net/manual/en/configuration.changes.modes.php>.
Previous Comments:
------------------------------------------------------------------------
[2021-12-06 19:17:58] yacibet848 at sinagalore dot com
Description:
------------
It is failed to set 'extension_dir' option with php-function ini_get:
echo 'extension_dir = ' . ini_get('extension_dir') . "\n";
ini_set('extension_dir', "c:\\php-8.1.0-Win32-vs16-x64\ext\");
echo 'extension_dir = ' . ini_get('extension_dir') . "\n";
Result:
extension_dir = C:\php\ext
extension_dir = C:\php\ext
------------------------------------------------------------------------
--
Edit this bug report at https://bugs.php.net/bug.php?id=81699&edit=1