Back to index

php5  5.3.10
skipif.inc
Go to the documentation of this file.
00001 <?php
00002 // DO NOT dl load extension
00003 //if (!extension_loaded("xml")) {
00004 //  $dlext = (substr(PHP_OS, 0, 3) == "WIN") ? ".dll" : ".so";
00005 //  @dl("xml$dlext");
00006 //}
00007 if (!extension_loaded("xml")) {
00008   die('skip xml extension not available');
00009 }
00010 ?>