<?php if (!extension_loaded('dom')) die('skip dom extension not available')
;?>
syntax highlighted by
Code2HTML
, v. 0.9.1