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