diff options
-rw-r--r-- | ext/xml/tests/skipif.inc | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/ext/xml/tests/skipif.inc b/ext/xml/tests/skipif.inc index 1c33251b76..44898f3da6 100644 --- a/ext/xml/tests/skipif.inc +++ b/ext/xml/tests/skipif.inc @@ -1,9 +1,10 @@ <?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")) { - $dlext = (substr(PHP_OS, 0, 3) == "WIN") ? ".dll" : ".so"; - @dl("xml$dlext"); -} -if (!extension_loaded("xml")) { - print "skip\n"; + die('skip xml extension not available'); } ?> |