About bug #26753 and zend_register_list_destructors()

This is either bug in zend_fetch_list_dtor_id() as said in the bug report or misuse of [zend_]register_list_destructors(). So which one is it? Is zend_register_list_destructors() deprecated in favor of zend_register_list_destructors_ex() or what?? FYI: register_list_destructors() is only used by ext/mssql in HEAD. It's also used by ext/crack in PHP_4_3. But not anywhere else. What's the difference between these two functions anyway?? (some comments in the sources would be so nice sometimes :) --Jani