<script src="modules/lib/oojs-ui/oojs-ui-widgets.js"></script>
<script src="modules/lib/oojs-ui/oojs-ui-toolbars.js"></script>
<script src="modules/lib/oojs-ui/oojs-ui-windows.js"></script>
- <script src="modules/lib/oojs-ui/oojs-ui-mediawiki.js"></script>
+ <script src="modules/lib/oojs-ui/oojs-ui-wikimediaui.js"></script>
<style>
body {
font-size: 0.8em;