Merge "resourceloader: Merge mediawiki.legacy.wikibits into mediawiki.base"

[lhc/web/wiklou.git] / resources / Resources.php

diff --git a/resources/Resources.php b/resources/Resources.php
index 333057f..c9a1660 100644 (file)
--- a/resources/Resources.php
+++ b/resources/Resources.php
@@ -2820,13 +2820,6 @@ return [
                ],
        ],
 
-       // @todo FIXME: Remove 7 days after Ib0020b6bd0156 is deployed to all wikis.
-       'html5shiv' => [
-               'scripts' => [
-                       'resources/lib/html5shiv/html5shiv.js'
-               ],
-       ],
-
        /* EasyDeflate */
 
        'easy-deflate.core' => [