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! If you don't have a Git account, you can't do anything here.
If you reported this bug, you can edit this bug over here.
(description)
Block user comment
Status: Assign to:
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-2024 The PHP Group
All rights reserved. 		Last updated: Mon Dec 30 14:01:28 2024 UTC