Andre Klapper <> changed:

           What    |Removed                     |Added
             Status|REOPENED                    |RESOLVED
         Resolution|---                         |FIXED

--- Comment #12 from Andre Klapper <> ---
See comment 0 and comment 5 for reasoning, plus this request ("Remove ... user
preference") is obviously FIXED as the code commit has been merged. :)

I don't think this specific bug report is the place for a generic "I want less
popular ancient options to be removed from the user preferences to reduce UI
clutter" vs. "I want less people to have to edit their custom CSS or write
Gadgets to do X" discussion - should maybe happen on mediawiki-l instead if
there is interest.

However I agree that statistics on how many users have enabled such a setting
might be helpful for future evaluation when killing some preferences.

You are receiving this mail because:
You are on the CC list for the bug.
Wikibugs-l mailing list

Reply via email to