+
+ // 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;
+ }
+ }
+
+ // check if the child will be able to dl() the extension
+ $success = shell_exec(sprintf('%s %s -r "echo (int)dl(%s);', $bin, $args, var_export(ext_lib_name($ext), true)));
+ if ($success) {
+ return null;
+ }
+
+ echo "Unable to load extension '{$ext}' in child process";
+ exit(1);
+}
+
+function ext_lib_name($ext) {
+ if (PHP_SHLIB_SUFFIX === 'dll') {
+ return "php_{$ext}.dll";
+ }
+
+ return $ext . "." . PHP_SHLIB_SUFFIX;