On Wed, Oct 1, 2008 at 10:08 PM, webmaster@wikimini.org wrote:
Hi,
Sorry for the "urgent" nature of my question but I have a problem on a production wiki.
I need to erase all exisiting user options and replace them with the following ones:
You can just run the userOptions.php maintenance script. Of course, you would have to run it quite a few times!