Hide marked empty elements by default (stage 2)
authorTim Starling <tstarling@wikimedia.org>
Wed, 13 Jul 2016 02:08:35 +0000 (12:08 +1000)
committerKrinkle <krinklemail@gmail.com>
Wed, 27 Jul 2016 02:02:35 +0000 (02:02 +0000)
commit3f44188f33ce527639d8f7344db0e6f0322ea662
tree8740f1699c76a773067b7878beb2cffb887b782b
parent45267f9f0cfe5349a4cc418fc1ad91ccc130355b
Hide marked empty elements by default (stage 2)

Follows-up d3d682fb45.

* Remove the obsolete mediawiki.raggett.css file and RL module. This requires
  the Varnish caches which reference it to have expired.
* Remove the mw-empty-li class from the CSS. This requires the parser
  cache entries which referenced it to have expired.
* Make the effect of mw-empty-elt be modifiable by user scripts, by
  switching it on only if the body class mw-hide-empty-elt is present.
  This requires the Varnish cache containing body elements without the
  relevant class to have expired.

Change-Id: Icdcff518be94b65c0dbbf6143a7ae4fb817b2182
resources/Resources.php
resources/src/mediawiki.skinning/content.css
resources/src/mediawiki/mediawiki.raggett.css [deleted file]