[Feature] Install, remove and manage PHP extensions (per PHP version)
nicoverbruggen opened this issue · comments
PHP Monitor should be able to manage PHP extensions. It's already possible to enable or disable extensions, but this should be revamped to make it easier to manage extensions on a per PHP version basis.
Additionally, installing extensions should be as easy as pressing an 'Install' button. Removing them should do the same. If an extension was installed via pecl, it should say so, and if it was installed via Tap, it should be manageable via phpmon.
This has been added in PHP Monitor 7, which will be available tomorrow! Closing this now.