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 Add Comment Developer Edit
Welcome back! If you're the original bug submitter, here's where you can edit the bug or add additional notes.
If this is not your bug, you can add a comment by following this link.
If this is your bug, but 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

Add a Patch

Pull Requests

Add a Pull Request

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: Tue Apr 30 02:01:31 2024 UTC