Install mongodb PHP extension

I think it's better to just install it than fake that it's present.

Author: ruudk

.github/workflows/build.yml

@@ -33,6 +33,7 @@ jobs:
         with:
           coverage: "none"
           php-version: "${{ matrix.php-version }}"
+          extensions: "mongodb"
 
       - name: "Validate Composer"
         run: "composer validate"
@@ -61,6 +62,7 @@ jobs:
         with:
           coverage: "none"
           php-version: "8.0"
+          extensions: "mongodb"
 
       - name: "Validate Composer"
         run: "composer validate"
@@ -101,6 +103,7 @@ jobs:
         with:
           coverage: "none"
           php-version: "${{ matrix.php-version }}"
+          extensions: "mongodb"
 
       - name: "Downgrade PHPUnit"
         if: matrix.php-version == '7.1' || matrix.php-version == '7.2' || matrix.php-version == '7.3'
@@ -144,8 +147,7 @@ jobs:
         with:
           coverage: "none"
           php-version: "${{ matrix.php-version }}"
-          extensions: mbstring
-          tools: composer:v2
+          extensions: "mbstring,mongodb"
 
       - name: "Downgrade PHPUnit"
         if: matrix.php-version == '7.1' || matrix.php-version == '7.2' || matrix.php-version == '7.3'

composer.json

@@ -35,7 +35,6 @@
 	},
 	"config": {
 		"platform": {
-			"php": "7.3.24",
 			"ext-mongo": "1.6.16"
 		},
 		"sort-packages": true,