Remove obsolete Special:Preferences styles after its transformation to OOUI
authorVolker E <volker.e@wikimedia.org>
Wed, 7 Nov 2018 01:12:38 +0000 (17:12 -0800)
committerVolker E <volker.e@wikimedia.org>
Wed, 7 Nov 2018 02:36:15 +0000 (18:36 -0800)
commit39e80cfc278f363a69c922a0ea91ac4eaefeee64
treef57fa5ed8c342fa32cdb02b470b69392dedddf2b
parent00063e1eb126d6a0917331d46303d7ea180c74bc
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
resources/src/mediawiki.special.preferences.styles.css