Description:
------------
php crashes while setting a references object to null



Reproduce code:
---------------
class MyClass { 
    function __destruct() { 
        print "Destroying object"; 
    } 
} 
$test = new MyClass();
$test1 = $test;
$test = null;

Expected result:
----------------
object should be destroyed and both references should be null imho