unregister_tick_function tries to cast a Closure to a string

 [2013-11-14 10:37 UTC] bwoebi@php.net

Description:
------------
Closures should be unregistrable too.

See also http://lxr.php.net/xref/PHP_TRUNK/ext/standard/basic_functions.c#5782

Test script:
---------------
declare(ticks=1);
register_tick_function($closure = function () { echo "Tick!\n"; });
unregister_tick_function($closure);

Expected result:
----------------
Tick!

// no error...

Actual result:
--------------
Tick!
PHP Catchable fatal error:  Object of class Closure could not be converted to string in php shell code on line 1

 [2013-11-14 10:38 UTC] bwoebi@php.net

-Status: Open +Status: Assigned -Assigned To: +Assigned To: dmitry

 [2013-11-17 10:34 UTC] bwoebi@php.net

-Assigned To: dmitry +Assigned To: laruence