jsduck: Fix OOUI resource links
authorJames D. Forrester <jforrester@wikimedia.org>
Mon, 10 Sep 2018 21:47:54 +0000 (14:47 -0700)
committerJames D. Forrester <jforrester@wikimedia.org>
Mon, 10 Sep 2018 21:47:54 +0000 (14:47 -0700)
The theme was renamed from 'mediawiki' to 'wikimediaui' months ago, at
which point these files would have broken.

oojs-ui-local.css doesn't currently exist, and possibly hasn't for a
long while(?).

Change-Id: Ib2f77ff357b8cf51c5ae00df6f187fca4a91be15

maintenance/jsduck/eg-iframe.html

index a3d33d8..9531792 100644 (file)
                        background: #fff;
                }
        </style>
-       <link rel="stylesheet" href="modules/src/oojs-ui-local.css">
-       <link rel="stylesheet" href="modules/lib/ooui/oojs-ui-core-mediawiki.css">
-       <link rel="stylesheet" href="modules/lib/ooui/oojs-ui-widgets-mediawiki.css">
-       <link rel="stylesheet" href="modules/lib/ooui/oojs-ui-toolbars-mediawiki.css">
-       <link rel="stylesheet" href="modules/lib/ooui/oojs-ui-windows-mediawiki.css">
+       <link rel="stylesheet" href="modules/lib/ooui/oojs-ui-core-wikimediaui.css">
+       <link rel="stylesheet" href="modules/lib/ooui/oojs-ui-widgets-wikimediaui.css">
+       <link rel="stylesheet" href="modules/lib/ooui/oojs-ui-toolbars-wikimediaui.css">
+       <link rel="stylesheet" href="modules/lib/ooui/oojs-ui-windows-wikimediaui.css">
 </head>
 <body>
 <script>