Drop support for PHP 7.2 and 7.3

#241

Author: reedy

.github/workflows/CI.yaml

@@ -10,12 +10,6 @@ jobs:
       fail-fast: false
       matrix:
         include:
-          # Includes php7.1-8.0, composer 2, php-xdebug, and more
-          # https://github.com/actions/virtual-environments/blob/ubuntu18/20210318.0/images/linux/Ubuntu1804-README.md#php
-          - os: ubuntu-18.04
-            php: "7.2"
-          - os: ubuntu-18.04
-            php: "7.3"
           # Includes php7.4-8.x, composer 2, php-xdebug, and more
           # https://github.com/actions/virtual-environments/blob/ubuntu20/20210318.0/images/linux/Ubuntu2004-README.md#php
           - os: ubuntu-20.04
@@ -64,16 +58,16 @@ jobs:
     - run: composer phan
 
   ocular-push:
-    runs-on: ubuntu-18.04
+    runs-on: ubuntu-20.04
     if: ${{ success() }} && github.repository == 'wikimedia/composer-merge-plugin'
     needs: [run]
 
     steps:
     - name: Checkout
       uses: actions/checkout@v2
 
-    - name: Use PHP 7.2
-      run: sudo update-alternatives --set php /usr/bin/php7.2
+    - name: Use PHP 7.4
+      run: sudo update-alternatives --set php /usr/bin/php7.4
 
     - name: Install dependencies
       run: composer install --prefer-dist --no-progress

composer.json

@@ -12,16 +12,16 @@
     "minimum-stability": "dev",
     "prefer-stable": true,
     "require": {
-        "php": ">=7.2.0",
+        "php": ">=7.4.0",
         "composer-plugin-api": "^1.1||^2.0"
     },
     "require-dev": {
         "ext-json": "*",
         "composer/composer": "^1.1||^2.0",
         "mediawiki/mediawiki-phan-config": "0.11.1",
         "php-parallel-lint/php-parallel-lint": "~1.3.1",
-        "phpspec/prophecy": "~1.15.0",
-        "phpunit/phpunit": "^8.5||^9.0",
+        "phpspec/prophecy-phpunit": "~2.0.1",
+        "phpunit/phpunit": "^9.5",
         "squizlabs/php_codesniffer": "~3.7.1"
     },
     "autoload": {

tests/phpunit/LoggerTest.php

@@ -13,12 +13,14 @@
 use Composer\IO\IOInterface;
 use Prophecy\Argument;
 use PHPUnit\Framework\TestCase;
+use Prophecy\PhpUnit\ProphecyTrait;
 
 /**
  * @covers \Wikimedia\Composer\Merge\V2\Logger
  */
 class LoggerTest extends TestCase
 {
+    use ProphecyTrait;
 
     public function testVeryVerboseDebug()
     {

tests/phpunit/MergePluginTest.php

@@ -34,6 +34,7 @@
 use Composer\Util\HttpDownloader;
 use Prophecy\Argument;
 use PHPUnit\Framework\TestCase;
+use Prophecy\PhpUnit\ProphecyTrait;
 use Prophecy\Prophecy\ObjectProphecy;
 use ReflectionClass;
 use ReflectionProperty;
@@ -48,6 +49,7 @@
  */
 class MergePluginTest extends TestCase
 {
+    use ProphecyTrait;
 
     /**
      * @var Composer

tests/phpunit/PluginStateTest.php

@@ -12,12 +12,14 @@
 
 use Composer\Composer;
 use PHPUnit\Framework\TestCase;
+use Prophecy\PhpUnit\ProphecyTrait;
 
 /**
  * @covers \Wikimedia\Composer\Merge\V2\PluginState
  */
 class PluginStateTest extends TestCase
 {
+    use ProphecyTrait;
 
     public function testLocked()
     {

tests/phpunit/StabilityFlagsTest.php

@@ -13,12 +13,14 @@
 use Composer\Package\BasePackage;
 use Composer\Package\Link;
 use PHPUnit\Framework\TestCase;
+use Prophecy\PhpUnit\ProphecyTrait;
 
 /**
  * @covers \Wikimedia\Composer\Merge\V2\StabilityFlags
  */
 class StabilityFlagsTest extends TestCase
 {
+    use ProphecyTrait;
 
     /**
      * @dataProvider provideExplicitStability