Page MenuHomePhabricator

CodeMirror preference options don't use capitalization
Closed, ResolvedPublicBUG REPORT

Description

Steps to replicate the issue:

  • Edit an article using Wikitext 2010 and uselang=de
  • Select syntax highlighting
  • Open advanced options -> settings

What happens?:

Screenshot 2026-04-24 at 19.57.34.png (1,830×350 px, 108 KB)

What should have happened instead?:

  • Respect capitalization used in translatewiki messages

Other information:

  • The same issue appears in other languages as well, but it's probably most obvious in German messages which use capitalization a lot