Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[Polish] Quality of life changes for extension management #274

Open
1 task done
vesper8 opened this issue Feb 12, 2024 · 1 comment
Open
1 task done

[Polish] Quality of life changes for extension management #274

vesper8 opened this issue Feb 12, 2024 · 1 comment
Assignees
Labels
enhancement New feature or request.
Milestone

Comments

@vesper8
Copy link

vesper8 commented Feb 12, 2024

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

@vesper8 vesper8 added the enhancement New feature or request. label Feb 12, 2024
@nicoverbruggen
Copy link
Owner

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 nicoverbruggen changed the title [Feature] 7.0 - Show installed extensions at the top? Also, offer to manage already installed extensions? [Feature] Quality of life changes for extension management Feb 12, 2024
@nicoverbruggen nicoverbruggen changed the title [Feature] Quality of life changes for extension management [Polish] Quality of life changes for extension management Feb 12, 2024
@nicoverbruggen nicoverbruggen added this to the post-v7 milestone Feb 12, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request.
Projects
None yet
Development

No branches or pull requests

2 participants