On 7/5/07, Dschwen lists@schwen.de wrote:
Right now the options are stored in cookies, but you can also set options in your monobook.js if you want them more permanent.
I'm implementing a version that stores that settings to the wiki. I have already implemented an interface to save stuff to the wiki, see [[MediaWiki:EditPage.js]].
Bryan