Back to index

php5  5.3.10
skipif.inc
Go to the documentation of this file.
00001 <?php  if (!extension_loaded('dom')) die('skip dom extension not available');?>