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
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>