Page MenuHomePhabricator
Create Task
Maniphest T345520

Rename WikiEdit to MiniEdit
Closed, ResolvedPublic4 Estimated Story Points
Actions

Description

Hi guys! I was persuaded to rename my tool WikiEdit to MiniEdit, before it starts getting more use and the widespread confusion with WikiEditor and wikiEd becomes inevitable.

I already requested and set up a new repo at mediawiki/gadgets/MiniEdit with all the latest code and translations, and renamed all the JSON keys in the i18n files from "wikiedit" to "miniedit".

Can I request a rename of https://translatewiki.net/wiki/Translating:WikiEdit to https://translatewiki.net/wiki/Translating:MiniEdit, or whatever needs to be done to complete the rename on your side?

Apologies for the rename, I know it's not always welcome but I trust it'll pay off over time! Thanks for your awesome work, as always!

Details

SubjectRepoBranchLines +/-
MiniEdit: Add mediawiki-i18n-checkintegration/configmaster+6 -0
Archive WikiEditintegration/configmaster+4 -6
MiniEdit: Update group idtranslatewikimaster+2 -2
Rename WikiEdit to MiniEdittranslatewikimaster+14 -14
Customize query in gerrit

Event Timeline

Sophivorus created this task.Sep 3 2023, 11:38 PM
Restricted Application added a subscriber: Aklapper. · View Herald TranscriptSep 3 2023, 11:38 PM
Sophivorus updated the task description. (Show Details)Sep 3 2023, 11:39 PM
Sophivorus updated the task description. (Show Details)
gerritbot added a comment.Sep 4 2023, 8:42 AM

Change 954596 had a related patch set uploaded (by Jon Harald Søby; author: Jon Harald Søby):

[translatewiki@master] Rename WikiEdit to MiniEdit

https://gerrit.wikimedia.org/r/954596

gerritbot added a project: Patch-For-Review.Sep 4 2023, 8:42 AM
jhsoby subscribed.Sep 4 2023, 8:42 AM
gerritbot added a comment.Sep 5 2023, 12:27 PM

Change 954596 merged by jenkins-bot:

[translatewiki@master] Rename WikiEdit to MiniEdit

https://gerrit.wikimedia.org/r/954596

Maintenance_bot removed a project: Patch-For-Review.Sep 5 2023, 12:30 PM
Nikerabbit moved this task from Backlog to Configuration changes on the translatewiki.net board.Sep 11 2023, 12:48 PM
Nikerabbit subscribed.

Translation updates are not merged automatically in the new repository: https://gerrit.wikimedia.org/r/c/mediawiki/gadgets/MiniEdit/+/956392

Nikerabbit triaged this task as Medium priority.Sep 11 2023, 12:49 PM
Nikerabbit added projects: Language-Team (Language-2023-July-September), Unplanned-Sprint-Work, Localization Infrastructure FY2023-24.
Nikerabbit moved this task from Quarter Backlog to Priority: Localization infrastructure on the Language-Team (Language-2023-July-September) board.
Nikerabbit moved this task from Backlog to Support (LM) on the Localization Infrastructure FY2023-24 board.
Sophivorus added a comment.Sep 15 2023, 11:49 AM

I think the problem might have been that the repo didn't have the permissions set up. I just fixed that, see https://gerrit.wikimedia.org/r/admin/repos/mediawiki/gadgets/MiniEdit,access

In another topic, I notice that the project id is still "wikiedit" at https://translatewiki.net/w/i.php?title=Translating:MiniEdit&action=edit
Is that ok? Cheers!

gerritbot added a comment.Sep 28 2023, 10:46 AM

Change 961746 had a related patch set uploaded (by Abijeet Patro; author: Abijeet Patro):

[translatewiki@master] MiniEdit: Update group id

https://gerrit.wikimedia.org/r/961746

gerritbot added a project: Patch-For-Review.Sep 28 2023, 10:46 AM
gerritbot added a comment.Sep 28 2023, 10:51 AM

Change 961746 merged by jenkins-bot:

[translatewiki@master] MiniEdit: Update group id

https://gerrit.wikimedia.org/r/961746

abi_ assigned this task to jhsoby.Sep 28 2023, 11:07 AM
abi_ moved this task from Priority: Localization infrastructure to Check after deployment on the Language-Team (Language-2023-July-September) board.
Maintenance_bot removed a project: Patch-For-Review.Sep 28 2023, 11:12 AM
Pginer-WMF edited projects, added Language-Team (Language-2023-October-December); removed Language-Team (Language-2023-July-September).Oct 2 2023, 8:58 AM
Pginer-WMF moved this task from Quarter Backlog to Check after deployment on the Language-Team (Language-2023-October-December) board.
gerritbot added a comment.Oct 3 2023, 12:52 PM

Change 963032 had a related patch set uploaded (by Abijeet Patro; author: Abijeet Patro):

[integration/config@master] Rename WikiEdit to MiniEdit

https://gerrit.wikimedia.org/r/963032

gerritbot added a project: Patch-For-Review.Oct 3 2023, 12:52 PM
abi_ subscribed.Oct 3 2023, 12:54 PM
In T345520#9169574, @Sophivorus wrote:

In another topic, I notice that the project id is still "wikiedit" at https://translatewiki.net/w/i.php?title=Translating:MiniEdit&action=edit
Is that ok? Cheers!

Updated.

Submitted: 963032: Zuul/layout: Rename WikiEdit to MiniEdit | https://gerrit.wikimedia.org/r/c/integration/config/+/963032 to fix auto-merging.

Sophivorus added a comment.Oct 3 2023, 1:59 PM

Thanks! I also updated this and now the stats on the page seem up-to-date.

gerritbot added a comment.Oct 4 2023, 6:05 AM

Change 963169 had a related patch set uploaded (by Abijeet Patro; author: Abijeet Patro):

[integration/config@master] MiniEdit: Add mediawiki-i18n-check

https://gerrit.wikimedia.org/r/963169

hashar added a project: Projects-Cleanup.Oct 4 2023, 9:00 AM
gerritbot added a comment.Oct 4 2023, 9:02 AM

Change 963032 merged by jenkins-bot:

[integration/config@master] Archive WikiEdit

https://gerrit.wikimedia.org/r/963032

gerritbot added a comment.Oct 4 2023, 9:02 AM

Change 963169 merged by jenkins-bot:

[integration/config@master] MiniEdit: Add mediawiki-i18n-check

https://gerrit.wikimedia.org/r/963169

Stashbot added a comment.Oct 4 2023, 9:03 AM

Mentioned in SAL (#wikimedia-releng) [2023-10-04T09:03:17Z] <hashar> gerrit: marked mediawiki/gadgets/WikiEdit read-only and updated description to [ARCHIVED] Moved to https://gerrit.wikimedia.org/g/mediawiki/gadgets/MiniEdit - T345520 # T345520

Stashbot added a comment.Oct 4 2023, 9:07 AM

Mentioned in SAL (#wikimedia-releng) [2023-10-04T09:07:07Z] <hashar> github: deleted https://github.com/wikimedia/mediawiki-gadgets-WikiEdit which got moved to https://github.com/wikimedia/mediawiki-gadgets-MiniEdit # T345520

Maintenance_bot removed a project: Patch-For-Review.Oct 4 2023, 9:11 AM
abi_ added a comment.Oct 9 2023, 11:00 AM

Pushed out a change manually: 964460: Localisation updates from https://translatewiki.net. | https://gerrit.wikimedia.org/r/c/mediawiki/gadgets/MiniEdit/+/964460 and it merged automatically.

abi_ closed this task as Resolved.Oct 9 2023, 11:01 AM
abi_ moved this task from Check after deployment to Done on the Language-Team (Language-2023-October-December) board.
Nikerabbit set the point value for this task to 4.Oct 10 2023, 11:27 AM
Content licensed under Creative Commons Attribution-ShareAlike (CC BY-SA) 4.0 unless otherwise noted; code licensed under GNU General Public License (GPL) 2.0 or later and other open source licenses. By using this site, you agree to the Terms of Use, Privacy Policy, and Code of Conduct. · Wikimedia Foundation · Privacy Policy · Code of Conduct · Terms of Use · Disclaimer · CC-BY-SA · GPL