Ashar Voultoiz wrote:
Brion Vibber wrote:
I would strongly recommend generalizing this to update any given option, rather than skins and nothing but skins.
Duesentrieb asked for it too. I quickly wrote it to help an user on #mediawiki (he wanted to remove a skin).
I think I will code another script that gives out statistics about option usage then generalize cleanupSkin.php to something like changeUserOptions.php adding filters (by groups, by last logged in, by creation date ...).
Committed in r19648. Experimental quality at best.