facebook/hhvm — pull request #1197 by nareshv (2013-10-19 10:20:57+00:00)
Title: Add PhpFileExtensions Configuration Option

Fix for issue #1075