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

Backport changes from WikiForge/ManageWiki #438

Merged
merged 7 commits into from
Dec 31, 2023
Merged

Conversation

AgentIsai
Copy link
Contributor

No description provided.

AgentIsai and others added 7 commits December 30, 2023 23:45
Check commit and GitHub actions for more details
Instead of an omnipotent, singular "managewiki" right, ManageWiki now uses "managewiki-core", "managewiki-extensions", etc., to manage their respective pages.
@AgentIsai AgentIsai merged commit c88229f into master Dec 31, 2023
8 checks passed
redbluegreenhat added a commit to redbluegreenhat/ManageWiki that referenced this pull request Feb 4, 2024
This i18n, named managewikidefaultpermissions-norights, was introduced in miraheze#438. i18n for it was not added though.

This PR adds that missing i18n, in the same style as the other *-view messages.
redbluegreenhat added a commit that referenced this pull request Feb 4, 2024
This i18n, named managewikidefaultpermissions-norights, was introduced in #438. i18n for it was not added though.

This PR adds that missing i18n, in the same style as the other *-view messages.
@Universal-Omega Universal-Omega deleted the AgentIsai-patch-1 branch March 17, 2024 06:37
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Development

Successfully merging this pull request may close these issues.

1 participant