mirror of
https://github.com/php/php-src.git
synced 2024-10-13 20:42:38 +00:00
10 lines
176 B
PHP
10 lines
176 B
PHP
<?php
|
|
if (!extension_loaded("xml")) {
|
|
$dlext = (substr(PHP_OS, 0, 3) == "WIN") ? ".dll" : ".so";
|
|
@dl("xml$dlext");
|
|
}
|
|
if (!extension_loaded("xml")) {
|
|
print "skip\n";
|
|
}
|
|
?>
|