Fix PHP_EXTRA_VERSION.

This is a continuation of #2943.