PHP needs PHP extension to work