skipif.inc   [plain text]

<?php	if (!extension_loaded('dom')) die('skip dom extension not available');?>