2020-11-02 04:34:21 +07:00
name : Docs workflow
on :
2020-12-01 10:18:41 +07:00
workflow_dispatch :
2020-11-02 04:34:21 +07:00
schedule :
2021-03-03 10:46:13 +07:00
- cron : '0 15 * * 6'
2020-11-02 04:34:21 +07:00
jobs :
create :
name : Create
runs-on : ${{ matrix.operating-system }}
strategy :
fail-fast : false
matrix :
2022-01-20 23:33:33 +07:00
operating-system : [ ubuntu-20.04, ubuntu-18.04, windows-2022, macos-11]
2021-09-02 01:48:50 +07:00
php-versions : [ '5.3' , '5.4' , '5.5' , '5.6' , '7.0' , '7.1' , '7.2' , '7.3' , '7.4' , '8.0' , '8.1' , '8.2' ]
2020-11-02 04:34:21 +07:00
steps :
- name : Setup PHP
uses : shivammathur/setup-php@v2
with :
php-version : ${{ matrix.php-versions }}
- name : Save unix
env :
file : php${{ matrix.php-versions }}-${{ matrix.operating-system }}.md
version : ${{ matrix.php-versions }}
2022-01-20 23:33:33 +07:00
if : matrix.operating-system != 'windows-2022'
2020-11-02 04:34:21 +07:00
run : |
echo "## PHP $version" >> "$file"
printf "\n" >> "$file"
echo "\`\`\`" >> "$file"
php -m >> "$file"
echo "\`\`\`" >> "$file"
printf "\n" >> "$file"
- name : Save Windows
env :
file : php${{ matrix.php-versions }}-${{ matrix.operating-system }}.md
version : ${{ matrix.php-versions }}
2022-01-20 23:33:33 +07:00
if : matrix.operating-system == 'windows-2022'
2020-11-02 04:34:21 +07:00
run : |
2020-12-01 10:18:41 +07:00
Write-Output "## PHP ${{ matrix.php-versions }}`n" | Out-File -FilePath "$env:file"
2020-11-02 04:34:21 +07:00
Write-Output "``````" | Out-File -FilePath "$env:file" -Append
php -m | Out-File -FilePath "$env:file" -Append
Write-Output "```````n" | Out-File -FilePath "$env:file" -Append
- uses : actions/upload-artifact@v2
with :
name : lists
path : php${{ matrix.php-versions }}-${{ matrix.operating-system }}.md
update :
name : Update
needs : create
runs-on : ubuntu-latest
steps :
- name : Checkout
uses : actions/checkout@v2
with :
repository : ${{ github.repository }}.wiki
- uses : actions/download-artifact@v2
with :
path : ${{ github.workspace }}
- name : Combine
run : |
git config --local user.email "${{ secrets.email }}"
git config --local user.name "${{ github.repository_owner }}"
2022-01-20 23:33:33 +07:00
for os in ubuntu-20.04 ubuntu-18.04 windows-2022 windows-2019 macos-11 macos-10.15; do
2020-12-01 10:18:41 +07:00
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
2021-09-02 01:48:50 +07:00
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; do
2022-01-20 23:33:33 +07:00
if [ "$os" = "macos-10.15" ]; then
cat lists/php"$version"-macos-11.md >> Php-extensions-loaded-on-"$os".md
elif [ "$os" = "windows-2019" ]; then
cat lists/php"$version"-windows-2022.md >> Php-extensions-loaded-on-"$os".md
2021-03-03 10:46:13 +07:00
else
cat lists/php"$version"-"$os".md >> Php-extensions-loaded-on-"$os".md
fi
2020-11-02 04:34:21 +07:00
done
done
rm -rf ./lists
if [ "$(git status --porcelain=v1 2>/dev/null | wc -l)" != "0" ]; then
git add .
git commit -m "Update PHP extensions on wiki - $(date +'%d-%m-%y')"
git push -f https://${{ github.repository_owner }}:${{ secrets.GITHUB_TOKEN }}@github.com/${{ github.repository }}.wiki.git master || true
fi