D'oh!
Can't believe I missed it, thanks!
I ended up using the 'UserToggles' hook as I just wanted the user to be
able to set/unset whether an extension is available to them or not.
But, I will be using that extension for when I want more complex
preferences.
Kimon
mediawiki-l-bounces(a)lists.wikimedia.org wrote on 25-10-2007 03:11:38:
On 24/10/2007, KAndreou(a)rccl.com
<KAndreou(a)rccl.com> wrote:
> I'm looking for a way to extend the User Preferences special page and
> can't really find any existing extensions or samples out there.
>
> I want to add a couple of new user options, preferably under "Misc."
but,
can't
figure out how.
Did you look at
http://www.mediawiki.org/wiki/Extension:PreferencesExtension?
cheers,
Brianna
--
They've just been waiting in a mountain for the right moment:
http://modernthings.org/
_______________________________________________
MediaWiki-l mailing list
MediaWiki-l(a)lists.wikimedia.org
http://lists.wikimedia.org/mailman/listinfo/mediawiki-l