php.net |  support |  documentation |  report a bug |  advanced search |  search howto |  statistics |  random bug |  login

go to bug id or search bugs for

Bug #81699 ini_set('extension_dir', .. ) not work
Submitted: 2021-12-06 19:17 UTC Modified: 2021-12-06 21:49 UTC
From: yacibet848 at sinagalore dot com Assigned: cmb (profile)
Status: Not a bug Package: PHP options/info functions
PHP Version: 8.1.0 OS: windows
Private report: No CVE-ID: None
View Developer Edit
Welcome back! If you're the original bug submitter, here's where you can edit the bug or add additional notes.
If you forgot your password, you can retrieve your password here.
Password:
Status:
Package:
Bug Type:
Summary:
From: yacibet848 at sinagalore dot com
New email:
PHP Version: OS:

 

 [2021-12-06 19:17 UTC] 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

Patches

Pull Requests

History

AllCommentsChangesGit/SVN commitsRelated reports
 [2021-12-06 19:21 UTC] stas@php.net
-Type: Security +Type: Bug
 [2021-12-06 21:49 UTC] cmb@php.net
-Status: Open +Status: Not a bug -Package: *General Issues +Package: PHP options/info functions -Assigned To: +Assigned To: cmb
 [2021-12-06 21:49 UTC] cmb@php.net 
extension_dir is PHP_INI_SYSTEM; what that means is documented in
<https://www.php.net/manual/en/configuration.changes.modes.php>.
 
PHP Copyright © 2001-2025 The PHP Group
All rights reserved. 		Last updated: Thu Jan 02 12:01:29 2025 UTC