mirror of
https://github.com/php/php-src.git
synced 2024-11-29 12:53:37 +08:00
11 lines
237 B
PHP
11 lines
237 B
PHP
<?php
|
|
// DO NOT dl load extension
|
|
//if (!extension_loaded("xml")) {
|
|
// $dlext = (substr(PHP_OS, 0, 3) == "WIN") ? ".dll" : ".so";
|
|
// @dl("xml$dlext");
|
|
//}
|
|
if (!extension_loaded("xml")) {
|
|
die('skip xml extension not available');
|
|
}
|
|
?>
|