actions/setup-php
1
0
Fork 0
mirror of https://github.com/shivammathur/setup-php.git synced 2024-11-22 20:01:06 +07:00
Code Issues Packages Projects Releases Wiki Activity

Use the curl CA list if PKI Powershell Module is not available

Browse Source
This commit is contained in:
Michele Locati 2019-11-25 12:33:52 +01:00
parent fec9df11d6
commit 47387dd6e9
No known key found for this signature in database
GPG Key ID: 98B7CE2E7234E28B
1 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/scripts/win32.ps1
View File

@ -46,7 +46,11 @@ else {
Set-PhpIniKey -Key 'date.timezone' -Value 'UTC' -Path $php_dir
Enable-PhpExtension -Extension openssl, curl -Path $php_dir
try {
Update-PhpCAInfo -Path $php_dir -Source CurrentUser
} catch {
Update-PhpCAInfo -Path $php_dir -Source Curl
}
if ([Version]$installed.Version -ge '7.4') {
Copy-Item "$dir\..\src\ext\php_pcov.dll" -Destination "$($installed.ExtensionsPath)\php_pcov.dll"
}