1
0
mirror of https://github.com/php/php-src.git synced 2026-04-28 10:43:30 +02:00

make sure dom extension is present

This commit is contained in:
Antony Dovgal
2008-07-11 12:43:55 +00:00
parent 9277fc89c4
commit e92b2b506a
@@ -2,6 +2,10 @@
ReflectionExtension::getDependencies() method on an extension with a required and conflicting dependency
--CREDITS--
Felix De Vliegher <felix.devliegher@gmail.com>
--SKIPIF--
<?php
if (!extension_loaded("dom")) die("skip no dom extension");
?>
--FILE--
<?php
$dom = new ReflectionExtension('dom');