jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/361393 )
Change subject: docs: Use oojs-ui-wikimediaui, instead of -mediawiki
......................................................................
docs: Use oojs-ui-wikimediaui, instead of -mediawiki
Change-Id: Iac6a526c928fe384f5f7df5af6b0156146bf2f33
---
M maintenance/jsduck/eg-iframe.html
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
jenkins-bot: Verified
Jforrester: Looks good to me, approved
diff --git a/maintenance/jsduck/eg-iframe.html
b/maintenance/jsduck/eg-iframe.html
index e7fdd7d..91e0bc1 100644
--- 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;
--
To view, visit https://gerrit.wikimedia.org/r/361393
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Iac6a526c928fe384f5f7df5af6b0156146bf2f33
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Prtksxna <psax...@wikimedia.org>
Gerrit-Reviewer: Bartosz Dziewoński <matma....@gmail.com>
Gerrit-Reviewer: Jforrester <jforres...@wikimedia.org>
Gerrit-Reviewer: Parent5446 <tylerro...@gmail.com>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
