On Wed, Oct 1, 2008 at 10:08 PM, <webmaster(a)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!