Merge "Remove obsolete Special:Preferences styles after its transformation to OOUI"

diff --git a/resources/src/mediawiki.legacy/oldshared.css b/resources/src/mediawiki.legacy/oldshared.css
index 1eb92ef..b449ef6 100644 (file)
--- 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 9d8ce76..5869303 100644 (file)
--- 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;
 }