note 54471 added to ref.dom

It might be worthwhile specifying for which version of php this extension is available. I guess it's only PHP5, because when I try to use it I get the following error: "Fatal error: Undefined class name 'domdocument'" ---- Manual Page -- http://www.php.net/manual/en/ref.dom.php Edit -- http://master.php.net/manage/user-notes.php?action=edit+54471 Delete: added to the manual -- http://master.php.net/manage/user-notes.php?action=delete+54471&report=yes&reason=added+to+the+manual Delete: bad code -- http://master.php.net/manage/user-notes.php?action=delete+54471&report=yes&reason=bad+code Delete: spam -- http://master.php.net/manage/user-notes.php?action=delete+54471&report=yes&reason=spam Delete: useless -- http://master.php.net/manage/user-notes.php?action=delete+54471&report=yes&reason=useless Delete: non-english -- http://master.php.net/manage/user-notes.php?action=delete+54471&report=yes&reason=non-english Delete: other reasons -- http://master.php.net/manage/user-notes.php?action=delete+54471&report=yes Reject -- http://master.php.net/manage/user-notes.php?action=reject+54471&report=yes Search -- http://master.php.net/manage/user-notes.php