--- Comment #20 from Nemo_bis <> 2010-08-25 19:25:35 UTC 
(In reply to comment #17)
> Having more preferences imposes a lot of non-obvious costs, so the number of
> preferences should be kept to a minimum.  We have way too many as it stands. 
> For things like this that are not terribly useful -- this saves one 
> Shift-Alt-I
> or click or whatever at best, and few users use it (about 30,000 on enwiki,
> ~0.25%) -- we have general extensibility mechanisms like user JavaScript, and
> we should not provide specific preferences.

Did you check also how many users use the other preferences?
And, if there are so few users who use this, how can it be a harm, as was
Anyway, as of July 2010, according to , there are 615526 actual
users, so that would be 4,9 %, and there are 99699 users with more than 100
edits (these are far more likely to use this preference), so that would be 30

(In reply to comment #18)
> If a button must be in the prefs and enough people on a wiki use it, can't a
> local gadget be used instead?

Not every wiki has the gadget extension, and if your aim is to reduce clutter I
don't see how this could be an improvement, given that we have already lots of
preferences for gadgets in several wikis which use that, and those preferences
are far less used that this.

Configure bugmail:
------- You are receiving this mail because: -------
You are the assignee for the bug.
You are on the CC list for the bug.

Wikibugs-l mailing list

Reply via email to