Updated PHP extension version