Updated mediawiki/core Project: mediawiki/extensions/SyntaxHighlight_GeSHi rESHG1653f3b76dea
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