provide versioned php extension dep