Last modified: 2011-03-13 18:05:20 UTC
Wiktionary provides extra preferences which MediaWiki doesn't provide. But there are limitations.
* The preferences are associated with a cookie rather than with a user.
* They don't look and feel like the standard preferences.
The various tools can/should be turned into Gadgets. No need for an extension for this really.