jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/405238 )
Change subject: Use “OOUI” as unified name
......................................................................
Use “OOUI” as unified name
Bug: T182360
Change-Id: I8c672f420843e77d18a05301c4efb4d54c9e9d67
---
M org/wikimedia/doc/default.html
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Legoktm: Looks good to me, approved
jenkins-bot: Verified
diff --git a/org/wikimedia/doc/default.html b/org/wikimedia/doc/default.html
index 323c5d3..7095ccb 100644
--- a/org/wikimedia/doc/default.html
+++ b/org/wikimedia/doc/default.html
@@ -16,7 +16,7 @@
<li><a href="HtmlFormatter/master/">HtmlFormatter</a></li>
<li><a href="mediawiki-oauthclient-php/master/">oauthclient-php</a></li>
<li><a href="oojs/master/">OOjs core</a></li>
- <li>OOjs UI
+ <li>OOUI
<ul>
<li><a href="oojs-ui/master/js/">JavaScript</a> (<a
href="oojs-ui/master/demos/">demo</a>)</li>
<li><a href="oojs-ui/master/php/">PHP</a> (<a
href="oojs-ui/master/demos/widgets.php">demo</a>) </li>
--
To view, visit https://gerrit.wikimedia.org/r/405238
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I8c672f420843e77d18a05301c4efb4d54c9e9d67
Gerrit-PatchSet: 2
Gerrit-Project: integration/docroot
Gerrit-Branch: master
Gerrit-Owner: VolkerE <[email protected]>
Gerrit-Reviewer: Hashar <[email protected]>
Gerrit-Reviewer: Jforrester <[email protected]>
Gerrit-Reviewer: Legoktm <[email protected]>
Gerrit-Reviewer: Paladox <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
