Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Fix for bug #54431 #2015
Merged as 65abdb5 into PHP 5.6 and up. Thanks!
It would've been nice to have a test for this, but it doesn't look like we currently have any infrastructure for testing