delete versions for some extensionsnightly-2019.07.26
commitdae4151cf059ada5de30a6406cc2aae9b5f6967a
authorBin Liu <[email protected]>
Fri, 26 Jul 2019 01:04:53 +0000 (25 18:04 -0700)
committerHhvm Bot <[email protected]>
Fri, 26 Jul 2019 01:09:01 +0000 (25 18:09 -0700)
tree6fa799833092576790755e5079b2c6b52b01d87e
parent4088b30aaae9f8930ac936c3d615c7a1543c0dd1
delete versions for some extensions

Summary: `get_PHP_VERSION()` depends on `RuntimeOption::PHP7_Builtins`, which isn't set up correctly yet when we initialize the extension classes. Whatever depends on the version is likely broken. So just use the default hhvm version as the extension version.

Reviewed By: fredemmott, alexeyt

Differential Revision: D16499314

fbshipit-source-id: c870aab81aaf210548b90ceb56e07cb988a83e4e
hphp/runtime/ext/datetime/ext_datetime.cpp
hphp/runtime/ext/hotprofiler/ext_hotprofiler.cpp
hphp/runtime/ext/shapes/ext_shapes.cpp