facebook/hhvm — pull request #2877 by whatthejeff (2014-06-07 10:36:09+00:00)
Title: Fixes #2869

Ported https://bugs.php.net/bug.php?id=66021.