From 39e80cfc278f363a69c922a0ea91ac4eaefeee64 Mon Sep 17 00:00:00 2001 From: Volker E Date: Tue, 6 Nov 2018 17:12:38 -0800 Subject: [PATCH] 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 --- resources/src/mediawiki.legacy/oldshared.css | 24 +------------------ .../mediawiki.special.preferences.styles.css | 4 ---- 2 files changed, 1 insertion(+), 27 deletions(-) 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; } -- 2.20.1