1337/pop — pull request #5 by 1337 (2013-09-14 17:17:48+00:00)
Title: Fixes #54143

https://bugs.php.net/bug.php?id=54143