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