https://bugzilla.wikimedia.org/show_bug.cgi?id=50402
James Forrester <[email protected]> changed: What |Removed |Added ---------------------------------------------------------------------------- Priority|Unprioritized |Normal Status|UNCONFIRMED |ASSIGNED Ever confirmed|0 |1 --- Comment #2 from James Forrester <[email protected]> --- I agree that relabelling it immediately for all MediaWiki installations is a poor choice, as (a) some people, (b) some WMF wikis, and (c) almost all MediaWiki wikis not hosted by WMF do not have VisualEditor enabled at this point. When VisualEditor is on for everyone, labelling the tab "edit source" (even when "edit", i.e. VisualEditor, is not available) seems like the best solution for our cluster. (If we wanted to, we could over-ride the value of the "edit" tab with a message from the Wikimedia-Messages system to do a WMF-specific over-ride of the MediaWiki default.) However, fixing this before (b) is fixed, let alone whilst (a) is fixed, feels like the wrong way to do this. A shorter-term fix is indeed to re-label "edit" to "edit source" for all pages visited by all users with VisualEditor. Maybe we could do that. Thoughts, Timo? -- You are receiving this mail because: You are on the CC list for the bug. _______________________________________________ Wikibugs-l mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
