Satisfy the PHP syntax check in GitHub Actions

The PHP 7.3 polyfill fails for PHP 7.3, because of a duplicate class
declaration. This file is not actually loaded in new PHP versions, thus we can
ignore it.

diff --git a/.github/workflows/php.yml b/.github/workflows/php.yml
index 1068c40b0adbe18829a350e00d0d27f37f4ce0af..2c790ce1a3078792d9adf67cddc9be36af19b62b 100644 (file)
--- a/.github/workflows/php.yml
+++ b/.github/workflows/php.yml
@@ -32,5 +32,6 @@ jobs:
       run: |
         rm wcfsetup/install/files/lib/system/api/ezyang/htmlpurifier/library/HTMLPurifier.autoload-legacy.php
         rm wcfsetup/install/files/lib/system/api/symfony/polyfill-mbstring/bootstrap80.php
+        rm wcfsetup/install/files/lib/system/api/symfony/polyfill-php73/Resources/stubs/JsonException.php
     - run: |
         ! find . -type f -name '*.php' -exec php -l '{}' \; 2>&1 |grep -v '^No syntax errors detected'