Don't install any extension package if provider is undef.
Leverage php5enmod for Debian systems.