Fixes PHP extension