actions/setup-php
1
0
Fork 0
mirror of https://github.com/shivammathur/setup-php.git synced 2025-10-26 05:05:09 +07:00
Code Issues Packages Projects Releases Wiki Activity

Add patch for old random headers on PHP 8.4

Browse Source
This commit is contained in:
Shivam Mathur
2024-01-15 11:14:26 +05:30
parent 2ee6851e7b
commit 6d7209f44a
3 changed files with 35 additions and 12 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/scripts/extensions/source.sh
View File

@ -89,6 +89,8 @@ run_group() {
patch_extension() {
local extension=$1
# shellcheck source=.
. "${scripts:?}"/extensions/patches/common.sh
if [ -e "${scripts:?}"/extensions/patches/"$extension".sh ]; then
# shellcheck source=.
. "${scripts:?}"/extensions/patches/"$extension".sh