CI: drop PHP 8.3 hacks (#7519)

.github/composite-actions/install-composer-deps/action.yml

@@ -48,7 +48,7 @@ runs:
       uses: actions/github-script@v7
       id: resolve-ignore-platform-req
       with:
-        script: 'return ${{ env.PHP_VERSION_ID }} >= 80300 ? "--ignore-platform-req=php+" : ""'
+        script: 'return ${{ env.PHP_VERSION_ID }} >= 80400 ? "--ignore-platform-req=php+" : ""'
         result-encoding: string
 
     - name: Install dependencies

composer.json

@@ -46,7 +46,7 @@
         "php-cs-fixer/accessible-object": "^1.1",
         "php-cs-fixer/phpunit-constraint-isidenticalstring": "^1.4",
         "php-cs-fixer/phpunit-constraint-xmlmatchesxsd": "^1.4",
-        "phpspec/prophecy": "^1.17",
+        "phpspec/prophecy": "^1.18",
         "phpspec/prophecy-phpunit": "^2.0",
         "phpunit/phpunit": "^9.6",
         "symfony/phpunit-bridge": "^6.3.8 || ^7.0",

dev-tools/build.sh

@@ -22,5 +22,4 @@ dev-tools/bin/box compile
 
 # revert changes to composer
 git checkout composer.json
-PHP83HACK=--ignore-platform-req=PHP+ # for building on local machine
-composer update --optimize-autoloader --no-interaction --no-progress --no-scripts -q $PHP83HACK
+composer update --optimize-autoloader --no-interaction --no-progress --no-scripts -q