docs: Use oojs-ui-wikimediaui, instead of -mediawiki

Change-Id: Iac6a526c928fe384f5f7df5af6b0156146bf2f33

diff --git a/maintenance/jsduck/eg-iframe.html b/maintenance/jsduck/eg-iframe.html
index e7fdd7d..91e0bc1 100644 (file)
--- a/maintenance/jsduck/eg-iframe.html
+++ b/maintenance/jsduck/eg-iframe.html
@@ -50,7 +50,7 @@
        <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;