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
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
Not unless you are willing to to direct DB changes, or keep the old gadget as a kind of redirect.
Can I request DB changes on Phab for one of Wikimedia projects?
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.
Something like that?
https://phabricator.wikimedia.org/T185996