facebook/hhvm — pull request #2317 by k-fish (2014-04-03 23:46:50+00:00)
Title: [phpbb] Fix preg_replace error from notice to deprecated

Closes #1750