jenkins-bot has submitted this change and it was merged.
Change subject: Add Collection render note for articles & rdf2latex
......................................................................
Add Collection render note for articles & rdf2latex
Bug: T135613
Change-Id: Ia2b9b6efe107eb69eaf0894de6bc48bdff8ea3aa
---
M wmf-config/CommonSettings.php
1 file changed, 2 insertions(+), 0 deletions(-)
Approvals:
Hashar: Looks good to me, approved
jenkins-bot: Verified
diff --git a/wmf-config/CommonSettings.php b/wmf-config/CommonSettings.php
index e6ff24f..08733c1 100644
--- a/wmf-config/CommonSettings.php
+++ b/wmf-config/CommonSettings.php
@@ -1760,6 +1760,8 @@
$wgLicenseURL = "http://creativecommons.org/licenses/by-sa/3.0/";;
+ $wgCollectionShowRenderNotes[] =
'coll-rendering_finished_note_article_rdf2latex';
+
$wgCollectionPortletForLoggedInUsersOnly =
$wmgCollectionPortletForLoggedInUsersOnly;
$wgCollectionArticleNamespaces = $wmgCollectionArticleNamespaces;
$wgCollectionPortletFormats = $wmgCollectionPortletFormats;
--
To view, visit https://gerrit.wikimedia.org/r/305012
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ia2b9b6efe107eb69eaf0894de6bc48bdff8ea3aa
Gerrit-PatchSet: 3
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Addshore <[email protected]>
Gerrit-Reviewer: Florianschmidtwelzow <[email protected]>
Gerrit-Reviewer: Gabriel Birke <[email protected]>
Gerrit-Reviewer: Hashar <[email protected]>
Gerrit-Reviewer: Jakob <[email protected]>
Gerrit-Reviewer: Kai Nissen (WMDE) <[email protected]>
Gerrit-Reviewer: Tobias Gritschacher <[email protected]>
Gerrit-Reviewer: WMDE-Fisch <[email protected]>
Gerrit-Reviewer: WMDE-leszek <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
