jenkins-bot has submitted this change and it was merged.
Change subject: Add "featured portal" badge (Q17580674)
......................................................................
Add "featured portal" badge (Q17580674)
Bug: 73193
Change-Id: I6432eac71b71bffe07c8086cf28c0bedc45738ed
---
M wmf-config/Wikibase.php
1 file changed, 4 insertions(+), 2 deletions(-)
Approvals:
Anomie: Looks good to me, approved
jenkins-bot: Verified
diff --git a/wmf-config/Wikibase.php b/wmf-config/Wikibase.php
index 848d755..3edea48 100644
--- a/wmf-config/Wikibase.php
+++ b/wmf-config/Wikibase.php
@@ -71,7 +71,8 @@
'Q17437798' => 'wb-badge-goodarticle',
'Q17437796' => 'wb-badge-featuredarticle',
'Q17559452' => 'wb-badge-recommendedarticle', // bug
70268
- 'Q17506997' => 'wb-badge-featuredlist' // bug 70332
+ 'Q17506997' => 'wb-badge-featuredlist', // bug 70332
+ 'Q17580674' => 'wb-badge-featuredportal', // bug 73193
);
}
@@ -164,7 +165,8 @@
'Q17437796' => 'badge-featuredarticle',
'Q17437798' => 'badge-goodarticle',
'Q17559452' => 'badge-recommendedarticle', // bug 70268
- 'Q17506997' => 'badge-featuredlist' // bug 70332
+ 'Q17506997' => 'badge-featuredlist', // bug 70332
+ 'Q17580674' => 'badge-featuredportal', // bug 73193
);
$wgHooks['SetupAfterCache'][] = 'wmfWBClientExcludeNS';
--
To view, visit https://gerrit.wikimedia.org/r/172580
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I6432eac71b71bffe07c8086cf28c0bedc45738ed
Gerrit-PatchSet: 2
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Hoo man <[email protected]>
Gerrit-Reviewer: Anomie <[email protected]>
Gerrit-Reviewer: Aude <[email protected]>
Gerrit-Reviewer: Lydia Pintscher <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
