|  support |  documentation |  report a bug |  advanced search |  search howto |  statistics |  random bug |  login
Bug #80280 ADD_EXTENSION_DEP() fails for ext/standard and ext/date
Submitted: 2020-10-24 14:14 UTC Modified: 2020-10-24 14:14 UTC
From: Assigned: cmb (profile)
Status: Closed Package: Compile Failure
PHP Version: 7.3.23 OS: Windows
Private report: No CVE-ID: None
View Add Comment Developer Edit
Welcome! If you don't have a Git account, you can't do anything here.
You can add a comment by following this link or if you reported this bug, you can edit this bug over here.
Block user comment
Status: Assign to:
Bug Type:
New email:
PHP Version: OS:


 [2020-10-24 14:14 UTC]
Extensions are supposed to declare their dependencies on other
extensions with (PHP_)ADD_EXTENSION_DEP.  While that works fine
for ext/standard and ext/date on Linux[1], it fails on Windows[2].

[1] <>
[2] <>


Add a Patch

Pull Requests

Pull requests:

Add a Pull Request


AllCommentsChangesGit/SVN commitsRelated reports
 [2020-10-24 14:14 UTC]
-Assigned To: +Assigned To: cmb
 [2020-10-24 14:20 UTC]
The following pull request has been associated:

Patch Name: Fix #80280: ADD_EXTENSION_DEP() fails for ext/standard and ext/date
On GitHub:
 [2020-10-26 10:07 UTC]
Automatic comment on behalf of
Log: Fix #80280: ADD_EXTENSION_DEP() fails for ext/standard and ext/date
 [2020-10-26 10:07 UTC]
-Status: Assigned +Status: Closed
PHP Copyright © 2001-2021 The PHP Group
All rights reserved.
Last updated: Sun Oct 17 03:03:35 2021 UTC