PHP5 extension for DOM support
