[Polish] Quality of life changes for extension management

[vesper8]

Is there an existing issue for this?

• I have searched the existing issues and discussions

Is this feature request related to a problem?

I think it would be a nice convenience to see all the currently installed extensions at the top rather than leaving them in their natural alphabetical order.

Also I noticed that phpmon canot manage my Redis extension because it was already instaleld by another source. It would be nice to be able to click a button to basically "Take over" management of this extension. I realize this may be tricky though as it would first need to be uninstall and then reinstalled. In my case it was installed using pecl. Just a thought : )

Describe the solution you'd like to see

---

Additional information or context

No response

[nicoverbruggen]

Thanks for your suggestions @vesper8! These are the kind of quality of life changes I'd like to make in subsequent releases, so you can be sure I'll be looking at these.

Cheers.

[nicoverbruggen]

Installed extensions will now appear at the top of the list in the upcoming release (7.1):

phpmon.animate.extension.install.mp4

In order to make it obvious that operations have succeeded, I now also animate the row background after a successful install/removal, and scroll to that row.

Because there's lot of factors to take into account in regard to "taking over existing" extensions, I'm going to skip that for now.

I will close this issue when PHP Monitor 7.1 is released.