Revert r111023 and r111024, they broke user.options . I'll fix this properly by split...
authorRoan Kattouw <catrope@users.mediawiki.org>
Thu, 9 Feb 2012 10:59:52 +0000 (10:59 +0000)
committerRoan Kattouw <catrope@users.mediawiki.org>
Thu, 9 Feb 2012 10:59:52 +0000 (10:59 +0000)
commit595f852f8c4001b4a5e72b86b5230b983e94dd40
treec7481dda7fabdb4f92cc61ca18334bac071dc965
parent9b6a4c922a7db01138ff8819239ca7750a06788d
Revert r111023 and r111024, they broke user.options . I'll fix this properly by splitting user.options's CSS part into a separate module; I've apparently known this was needed since r93363
includes/OutputPage.php