jenkins-bot has submitted this change and it was merged.
Change subject: Follow-up 6af8dcf: Remove duplicate styles in shared.css
......................................................................
Follow-up 6af8dcf: Remove duplicate styles in shared.css
Bug: T138721
Change-Id: I1733fcf1b3155b43dee8b79036f91b8d6cc25d05
---
M resources/src/mediawiki.legacy/shared.css
1 file changed, 0 insertions(+), 31 deletions(-)
Approvals:
Krinkle: Looks good to me, approved
jenkins-bot: Verified
diff --git a/resources/src/mediawiki.legacy/shared.css
b/resources/src/mediawiki.legacy/shared.css
index a5508c6..db836f1 100644
--- a/resources/src/mediawiki.legacy/shared.css
+++ b/resources/src/mediawiki.legacy/shared.css
@@ -91,37 +91,6 @@
}
}
-/* Colored watchlist and recent changes numbers */
-.mw-plusminus-pos {
- color: #006400; /* dark green */
-}
-
-.mw-plusminus-neg {
- color: #8b0000; /* dark red */
-}
-
-.mw-plusminus-null {
- color: #aaa; /* gray */
-}
-
-/*
- * Bidi-isolate these numbers.
- * See https://phabricator.wikimedia.org/T93484
- */
-.mw-plusminus-pos,
-.mw-plusminus-neg,
-.mw-plusminus-null {
- unicode-bidi: -moz-isolate;
- unicode-bidi: isolate;
-}
-
-/* Comment portions of RC entries */
-span.comment {
- font-style: italic;
- unicode-bidi: -moz-isolate;
- unicode-bidi: isolate;
-}
-
/**
* Add a bit of margin space between the preview and the toolbar.
* This replaces the ugly <p><br /></p> we used to insert into the page source
--
To view, visit https://gerrit.wikimedia.org/r/297230
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I1733fcf1b3155b43dee8b79036f91b8d6cc25d05
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Prtksxna <[email protected]>
Gerrit-Reviewer: Bartosz Dziewoński <[email protected]>
Gerrit-Reviewer: Edokter <[email protected]>
Gerrit-Reviewer: Jack Phoenix <[email protected]>
Gerrit-Reviewer: Krinkle <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
