jenkins-bot has submitted this change and it was merged.
Change subject: Wrap lines in <pre> and .mw-code by default
......................................................................
Wrap lines in <pre> and .mw-code by default
No longer create inline scrollbars and/or page-level scrollbarts
with the content escaping the skin container.
This used to be an option in SyntaxHighlighter Geshi (using enclose="div")
but it makes more sense to do by default.
Also move the 'direction' and 'unicode-bidi' rules that currently
live in SyntaxHighlighter extension. Make them the default instead.
Pre-wrap is supported by IE 8+, Firefox 3.5+, Chrome 1+, Opera 8+,
and Safari 3+.
Bug: T103780
Change-Id: Icd8b9bd56d6abc7b64c93e89541cf32c55cf7686
---
M resources/src/mediawiki.skinning/elements.css
1 file changed, 5 insertions(+), 0 deletions(-)
Approvals:
GOIII: Looks good to me, but someone else must approve
Legoktm: Looks good to me, approved
jenkins-bot: Verified
diff --git a/resources/src/mediawiki.skinning/elements.css
b/resources/src/mediawiki.skinning/elements.css
index 9c59fc1..6986034 100644
--- a/resources/src/mediawiki.skinning/elements.css
+++ b/resources/src/mediawiki.skinning/elements.css
@@ -199,6 +199,11 @@
background-color: #f9f9f9;
border: 1px solid #ddd;
padding: 1em;
+ /* @noflip */
+ direction: ltr;
+ unicode-bidi: embed;
+ /* Wrap lines in overflow. T103780 */
+ white-space: pre-wrap;
}
/* Tables */
--
To view, visit https://gerrit.wikimedia.org/r/220701
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Icd8b9bd56d6abc7b64c93e89541cf32c55cf7686
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Krinkle <krinklem...@gmail.com>
Gerrit-Reviewer: Edokter <er...@darcoury.nl>
Gerrit-Reviewer: GOIII <george.orwell....@outlook.com>
Gerrit-Reviewer: Jack Phoenix <j...@countervandalism.net>
Gerrit-Reviewer: Legoktm <legoktm.wikipe...@gmail.com>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
