New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Replace uses of php_dirname() with zend_dirname() #15393

Merged

Girgias merged 1 commit into php:master from Girgias:dirname-zend

Aug 14, 2024

Member

Girgias commented Aug 13, 2024

This removes some needs to include the php_string.h header


          Replace uses of php_dirname() with zend_dirname()

949e0f3

This removes some needs to include the php_string.h header

Girgias requested review from nielsdos and bukka as code owners

August 13, 2024 20:58

github-actions bot added Extension: spl Extension: standard Extension: xmlwriter Extension: zip SAPI: cli labels

Girgias merged commit 0217784 into php:master

10 checks passed

Girgias deleted the dirname-zend branch

August 14, 2024 11:35

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Extension: spl Extension: standard Extension: xmlwriter Extension: zip SAPI: cli