+ dl(ext_lib_name($ext));
+ }
+}
+
+function get_extension_load_arg($bin, $args, $ext) {
+ $bin = escapeshellcmd($bin);
+ $args = implode(' ', array_map('escapeshellarg', $args));
+
+ // check if php will load the extension with the existing args
+ exec(sprintf('%s %s -m', $bin, $args), $output);
+
+ foreach ($output as $line ) {
+ if (trim($line) === $ext) {
+ return null;
+ }
+ }
+
+ // try to load the extension with an arg
+ $arg = '-dextension=' . ini_get('extension_dir') . '/' . ext_lib_name($ext);
+ exec(sprintf('%s %s %s -m', $bin, $args, escapeshellarg($arg)), $output);
+
+ foreach ($output as $line ) {
+ if (trim($line) === $ext) {
+ return $arg;