facebook/hhvm — pull request #3151 by reeze (2014-07-09 15:40:34+00:00)
Title: Fixed issue #3125: ini_set('useragent') ignored by file_get_contents for http file

Add the missing config option: user_agent

This closes issue #3125