phpversion($extension) support.

See
https://github.com/facebook/hhvm/commit/fcba0889adbd18af33471f58760f661aec9b254a