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

diff --git a/resources/Resources.php b/resources/Resources.php
index e838a53..c4096ba 100644 (file)
--- a/resources/Resources.php
+++ b/resources/Resources.php
@@ -1398,10 +1398,6 @@ return [
                'scripts' => 'resources/src/mediawiki/mediawiki.experiments.js',
                'targets' => [ 'desktop', 'mobile' ],
        ],
                'scripts' => 'resources/src/mediawiki/mediawiki.experiments.js',
                'targets' => [ 'desktop', 'mobile' ],
        ],

-       'mediawiki.raggett' => [
-               'styles' => 'resources/src/mediawiki/mediawiki.raggett.css',
-               'targets' => [ 'desktop', 'mobile' ],
-       ],

 
        /* MediaWiki Action */
 
 
        /* MediaWiki Action */
 

diff --git a/resources/src/mediawiki.skinning/content.css b/resources/src/mediawiki.skinning/content.css
index 563db00..d9cdf5a 100644 (file)
--- a/resources/src/mediawiki.skinning/content.css
+++ b/resources/src/mediawiki.skinning/content.css
@@ -254,8 +254,9 @@ div.tleft {
        margin: .5em 1.4em 1.3em 0;
 }
 
        margin: .5em 1.4em 1.3em 0;
 }
 

-/* Hide elements that are marked as "empty" according to legacy Tidy rules
+/* Hide elements that are marked as "empty" according to legacy Tidy rules,
+ * except if a client script removes the mw-hide-empty-elt class from the body

  */
  */

-.mw-empty-elt, .mw-empty-li {
+body.mw-hide-empty-elt .mw-empty-elt {

        display: none;
 }
        display: none;
 }

diff --git a/resources/src/mediawiki/mediawiki.raggett.css b/resources/src/mediawiki/mediawiki.raggett.css
deleted file mode 100644 (file)
index e69de29..0000000