Special:Preferences: Remove unnecessary OOUI styles override
authorBartosz Dziewoński <matma.rex@gmail.com>
Wed, 19 Sep 2018 18:00:28 +0000 (20:00 +0200)
committerBartosz Dziewoński <matma.rex@gmail.com>
Wed, 19 Sep 2018 18:00:28 +0000 (20:00 +0200)
commit2240a3c4effe4d43a9f92c676b9a7e0f673b863f
tree21f74b9f61d4a40acbf48be8379fc62a7a7128ce
parent59574d742b72eca7f200c11886e81f8305dbf1dc
Special:Preferences: Remove unnecessary OOUI styles override

Since OOUI v0.24.4, menus/popups of infused PHP widgets are placed
into the default overlay, so this workaround is not needed.

Change-Id: I4f8a76cb258e44ed4f2fbba41425100d2e0e9b45
resources/src/mediawiki.special.preferences.styles.ooui.less