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.
--
Ashar Voultoiz - WP++++