facebook/hhvm — pull request #2399 by robocoder (2014-04-10 14:10:07+00:00)
Title: Enhance --php emulation support

* handle `--interactive` as an alias for `-a`
* translate `-z extension.so` into `-vDynamicExtensions.0=extension.so`
* handle `-d extension.setting=value` (follow-up to #1253) by writing line in a corresponding `[extension]` section