A partial archive of https://discourse-mediawiki.wmflabs.org as of Saturday May 21, 2022.

Renaming a gadget

Iniquity

Is it possible to rename a gadget without loss of user settings (on/off)?
For example: rename mw:MediaWiki:Gadget-Edittop to mw:MediaWiki:Gadget-NewName

Tgr

Not unless you are willing to to direct DB changes, or keep the old gadget as a kind of redirect.

Iniquity

Can I request DB changes on Phab for one of Wikimedia projects?

Tgr

Probably not. You could file an enhancement request for creating a gadget renamer maintenance script (which then you can ask any developer with shell access to run), but I wouldn’t count on it happening soonish.

Iniquity

Something like that?
https://phabricator.wikimedia.org/T185996