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@lists.wikimedia.org wrote on 25-10-2007 03:11:38:
On 24/10/2007, KAndreou@rccl.com KAndreou@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@lists.wikimedia.org http://lists.wikimedia.org/mailman/listinfo/mediawiki-l