facebook/hhvm — pull request #1207 by nareshv (2013-10-22 15:04:27+00:00)
Title: Php file extensions

This is PR from a branch. Already merged ones showed-up due to them being in history.