[2005-11-11 21:59 UTC] xmlfrance at gmail dot com

Description:
------------
My classes extending DOMDocument don't call the destructor.

Reproduce code:
---------------
<?php

class Foo extends DOMDocument {
     function __construct() {
          print('Construction');
     }
     function __destruct() {
          print('Destruction');
     }
}

$o = new Foo;
/* I've also tried unset($o) */

?>


Expected result:
----------------
ConstructionDestruction

Actual result:
--------------
Construction