mirror of
https://github.com/php/php-src.git
synced 2025-08-16 14:08:47 +02:00
14 lines
452 B
PHP
14 lines
452 B
PHP
<?php
|
|
|
|
// Check that the dl_test extension is built. We don't use the --EXTENSIONS--
|
|
// section because we want to load the extension with dl().
|
|
|
|
if (PHP_OS_FAMILY === 'Windows') {
|
|
$path = ini_get('extension_dir') . DIRECTORY_SEPARATOR . 'php_dl_test.dll';
|
|
} else {
|
|
$path = ini_get('extension_dir') . DIRECTORY_SEPARATOR . 'dl_test.so';
|
|
}
|
|
|
|
if (!file_exists($path)) {
|
|
die(sprintf('skip dl_test extension is not built (tried %s)', $path));
|
|
}
|