Re: [Mediawiki-l] Extending the user preferences