Bartosz Dziewoński has uploaded a new change for review.

  https://gerrit.wikimedia.org/r/220738

Change subject: Revert "Remove obsolete mw-highlighter styles"
......................................................................

Revert "Remove obsolete mw-highlighter styles"

The 'direction' rules must not be applied to regular preformatted
text in MediaWiki core, only to syntax-highlighted programming
language code.

(Not reverting the part that removes 'monospace' rule, *that* is
superfluous.)

This reverts commit f834b719b99c5b950d50c27cec86712c30159d25.

Bug: T103780
Change-Id: Ie7e9123ab3456aa6fff0485431fe81cd5eb31fa2
---
M extension.json
A modules/pygments.wrapper.css
2 files changed, 7 insertions(+), 0 deletions(-)


  git pull 
ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/SyntaxHighlight_GeSHi 
refs/changes/38/220738/1

diff --git a/extension.json b/extension.json
index b94751d..887eb57 100644
--- a/extension.json
+++ b/extension.json
@@ -38,6 +38,7 @@
                                "mobile"
                        ],
                        "styles": [
+                               "pygments.wrapper.css",
                                "pygments.generated.css"
                        ]
                },
diff --git a/modules/pygments.wrapper.css b/modules/pygments.wrapper.css
new file mode 100644
index 0000000..02e8184
--- /dev/null
+++ b/modules/pygments.wrapper.css
@@ -0,0 +1,6 @@
+.mw-highlight {
+       /* All supported programming languages are written left-to-right */
+       /* @noflip */
+       direction: ltr;
+       unicode-bidi: embed;
+}

-- 
To view, visit https://gerrit.wikimedia.org/r/220738
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: Ie7e9123ab3456aa6fff0485431fe81cd5eb31fa2
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/SyntaxHighlight_GeSHi
Gerrit-Branch: master
Gerrit-Owner: Bartosz Dziewoński <matma....@gmail.com>

_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to