diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index 38b7f5f6..43ad7f6c 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -72,12 +72,12 @@ jobs: git config --local user.name "${{ github.repository_owner }}" - name: Combine run: | - for os in ubuntu-24.04 ubuntu-22.04 ubuntu-20.04 windows-2022 windows-2019 macos-11 macos-13; do + for os in ubuntu-24.04 ubuntu-22.04 ubuntu-20.04 windows-2022 windows-2019 macos-13 macos-14 macos-15; do echo "These are extensions which are loaded by default on the following PHP versions. More extensions which are available as packages and available on pecl are supported by setup-php. Refer to [php extension support](https://github.com/shivammathur/setup-php#heavy_plus_sign-php-extension-support) for more details." > Php-extensions-loaded-on-"$os".md for version in 5.3 5.4 5.5 5.6 7.0 7.1 7.2 7.3 7.4 8.0 8.1 8.2 8.3 8.4; do - if [[ "$os" = "macos-11" || "$os" = "macos-13" ]]; then + if [[ "${os%-*}" = "macos" ]]; then cat lists/php"$version"-macos-13.md >> Php-extensions-loaded-on-"$os".md - elif [ "$os" = "windows-2019" ]; then + elif [ "${os%-*}" = "windows" ]; then cat lists/php"$version"-windows-2022.md >> Php-extensions-loaded-on-"$os".md else cat lists/php"$version"-"$os".md >> Php-extensions-loaded-on-"$os".md