The corresponding PHP bug report:

http://bugs.php.net/bug.php?id=47665

(Closed as "not a bug". Surprise!)