Page MenuHomePhabricator

Request to manually rename a gadget in database
Open, Needs TriagePublic


A long time ago, there had been a mistake in naming DeluxeHistory, it should have been "HistoryDeluxe". This is a long-standing mistake which regularly causes confusion.

I could rename it in the gadget definitions, but doing so, users would lose its activation state.

Hence this request, could a network admin manually rename it, in a way that it remains activated for the users?

Event Timeline

Od1n created this task.Feb 7 2018, 12:14 PM
Restricted Application added a subscriber: Aklapper. · View Herald TranscriptFeb 7 2018, 12:14 PM

Removing Wikimedia-Rdbms as this is not about the database related code in the MediaWiki core software code repository.
Removing MediaWiki-extensions-Gadgets as this is not about code in the MediaWiki extension called Gadgets.
Adding DBA though this might also be wrong...

Marostegui added a subscriber: Marostegui.

Removing the DBA tag as it is not something we can deal with :-)

Framawiki added a subscriber: Framawiki.
jhsoby added a subscriber: jhsoby.Feb 15 2018, 4:16 PM

Just wondering, why do you need to rename it at all? You could call it "aoushndaousnh" and it wouldn't matter, normal users will only ever see the name you use for it in MediaWiki:Gadget-DeluxeHistory. That can be changed without renaming the gadget messages.

@jhsoby There are a lot of valid arguments to allow to rename a file for gadgets authors too: to help maintenance, to provide a coherent set of names, to adhere to developer guidelines.

This task ideally needs a MigrateGadget script to update in the users' preferences the gadgets entry.

Od1n added a comment.Apr 29 2018, 10:06 PM

Bump :) Is there someone able to do it? Is the task easy or not?

It's technically easy, yes.

But it's blocked by T187460.