Add php5::extension::curl