check extensions for exact purpose

Author: mvorisek

benchmark/benchmark.php

@@ -2,11 +2,7 @@
 
 require_once __DIR__ . '/shared.php';
 
-foreach (array("mbstring", "sockets", "mysqli", "openssl", "gmp") as $ext) {
-    if (!extension_loaded($ext)) {
-        throw new LogicException("Extension $ext is required.");
-    }
-}
+checkExtensions(['gmp']);
 
 $storeResult = ($argv[1] ?? 'false') === 'true';
 $phpCgi = $argv[2] ?? dirname(PHP_BINARY) . '/php-cgi';
@@ -27,12 +23,18 @@ function main() {
     if (false !== $branch = getenv('GITHUB_REF_NAME')) {
         $data['branch'] = $branch;
     }
+
     $data['Zend/bench.php'] = runBench(false);
     $data['Zend/bench.php JIT'] = runBench(true);
+
+    checkExtensions(['mbstring']);
     $data['Symfony Demo 2.2.3'] = runSymfonyDemo(false);
     $data['Symfony Demo 2.2.3 JIT'] = runSymfonyDemo(true);
+
+    checkExtensions(['mbstring', 'sockets', 'mysqli', 'openssl']);
     $data['Wordpress 6.2'] = runWordpress(false);
     $data['Wordpress 6.2 JIT'] = runWordpress(true);
+
     $result = json_encode($data, JSON_PRETTY_PRINT) . "\n";
 
     fwrite(STDOUT, $result);
@@ -42,6 +44,14 @@ function main() {
     }
 }
 
+function checkExtensions(array $extensions): void {
+    foreach ($extensions as $ext) {
+        if (!extension_loaded($ext)) {
+            throw new LogicException("Extension $ext is required.");
+        }
+    }
+}
+
 function storeResult(string $result) {
     $repo = __DIR__ . '/repos/data';
     cloneRepo($repo, 'git@github.com:php/benchmarking-data.git');