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

Improvement in /plugins command #12121

Merged

Conversation

Doc94
Copy link
Contributor

@Doc94 Doc94 commented Feb 16, 2025

This PR handle..

  • a TODO for add a description in the /plugins command with the hangar mention and also a URL to current docs for plugins.
  • style fixes
  • warning of missing anotations
  • mention docs for add plugins
  • add the count of plugins per type in header

@Doc94 Doc94 requested a review from a team as a code owner February 16, 2025 02:57
Copy link
Member

@Warriorrrr Warriorrrr left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

The todo on line 39 can be removed

@Doc94
Copy link
Contributor Author

Doc94 commented Feb 16, 2025

With the current changes the /plugins command looks like.
image
image

@lynxplay lynxplay added the type: feature Request for a new Feature. label Feb 16, 2025
@Machine-Maker Machine-Maker merged commit 06f96dd into PaperMC:main Feb 16, 2025
3 checks passed
@Doc94 Doc94 deleted the feature/the-hangar-todo-info-in-plugins branch February 16, 2025 20:30
Y2Kwastaken pushed a commit to Y2Kwastaken/Paper that referenced this pull request Feb 16, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
type: feature Request for a new Feature.
Projects
Status: Merged
Development

Successfully merging this pull request may close these issues.

6 participants