From: Volker E <volker.e@wikimedia.org>
Date: Wed, 7 Nov 2018 01:12:38 +0000 (-0800)
Subject: Remove obsolete Special:Preferences styles after its transformation to OOUI
X-Git-Tag: 1.34.0-rc.0~3544^2
X-Git-Url: http://git.cyclocoop.org/%7B%24admin_url%7Dcompta/comptes/Foo_bar_baz?a=commitdiff_plain;h=39e80cfc278f363a69c922a0ea91ac4eaefeee64;p=lhc%2Fweb%2Fwiklou.git

Remove obsolete Special:Preferences styles after its transformation to OOUI

These removed styles match no elements in the
Special:Preferences page since the OOUI transformation.

Bug: T208923
Change-Id: I6802334d0ef80b337cfd7bb9e957c468fce57ef0
---

diff --git a/resources/src/mediawiki.legacy/oldshared.css b/resources/src/mediawiki.legacy/oldshared.css
index 1eb92ef6c5..b449ef6181 100644
--- a/resources/src/mediawiki.legacy/oldshared.css
+++ b/resources/src/mediawiki.legacy/oldshared.css
@@ -209,29 +209,7 @@ table.toc td {
 	font-size: larger;
 }
 
-/* preference page with js-genrated toc */
-/* TODO: Delete #preftoc when Special:Preferences's non-OOUI mode is disabled */
-#preftoc {
-	float: left;
-	margin: 1em 1em 1em 1em;
-	width: 13em;
-}
-
-#preftoc li {
-	border: 1px solid #fff;
-}
-
-#preftoc li.selected {
-	background-color: #f9f9f9;
-	border: 1px dashed #aaa;
-}
-
-#preftoc a,
-#preftoc a:active {
-	display: block;
-	color: #005189;
-}
-
+/* Preference page with js-generated toc */
 .mw-prefs-buttons {
 	clear: left;
 	float: left;
diff --git a/resources/src/mediawiki.special.preferences.styles.css b/resources/src/mediawiki.special.preferences.styles.css
index 9d8ce7674e..5869303a63 100644
--- a/resources/src/mediawiki.special.preferences.styles.css
+++ b/resources/src/mediawiki.special.preferences.styles.css
@@ -31,10 +31,6 @@
 	overflow: hidden;
 }
 
-.client-nojs #preftoc {
-	display: none;
-}
-
 .client-js #preferences > fieldset {
 	display: none;
 }