[ubuntu] Clean way to disable the pcov PHP Extension (#3472)

* Clean way to disable the pcov PHP Extension

Fixes https://github.com/actions/virtual-environments/issues/3341

* Update php.sh

* Update php.sh

* Documentation
This commit is contained in:
Sylvain
2021-06-03 18:12:53 +02:00
committed by GitHub
parent 70582d170c
commit b870568e36
3 changed files with 15 additions and 5 deletions

View File

@@ -256,6 +256,17 @@ function Build-PHPTable {
}
}
function Build-PHPSection {
$output = ""
$output += New-MDHeader "PHP" -Level 3
$output += Build-PHPTable | New-MDTable
$output += New-MDCode -Lines @(
"Both Xdebug and PCOV extensions are installed, but only Xdebug is enabled."
)
return $output
}
function Get-GHCVersion {
$(ghc --version) -match "version (?<version>\d+\.\d+\.\d+)" | Out-Null
$ghcVersion = $Matches.version