Added bugs.php.net ticket