HomePhabricator

Cherry-pick 892b52a, ca778d0, f834b71.

This commit has been deleted in the repository: it is no longer reachable from any branch, tag, or ref.

Description

Cherry-pick 892b52a, ca778d0, f834b71.

  • 892b52a - Avoid displaying double borders for inline code snippets
  • ca778d0 - Partially revert "Remove obsolete mw-highlighter styles"
  • f834b71 - Remove obsolete mw-highlighter styles

Backports fixes for T85794 and T103705.

Change-Id: I5d1510dc80d6d4712ca841129fcd26f84ea03862