jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/359193 )
Change subject: RelatedArticles no longer depends on Cards
......................................................................
RelatedArticles no longer depends on Cards
Since I784fd132, the RelatedArticles extension no longer depends on the
Cards extension. Indeed, the Cards extension is soon to be undeployed.
Bug: T167452
Change-Id: I4cc211630f4f0fe9fa4cd0d6fe70f9bf1e6210ba
---
M puppet/modules/role/manifests/relatedarticles.pp
1 file changed, 1 insertion(+), 4 deletions(-)
Approvals:
Reedy: Looks good to me, approved
Bmansurov: Looks good to me, but someone else must approve
jenkins-bot: Verified
diff --git a/puppet/modules/role/manifests/relatedarticles.pp
b/puppet/modules/role/manifests/relatedarticles.pp
index 359a807..d3e3e1f 100644
--- a/puppet/modules/role/manifests/relatedarticles.pp
+++ b/puppet/modules/role/manifests/relatedarticles.pp
@@ -12,9 +12,6 @@
wgRelatedArticlesShowInSidebar => false,
wgRelatedArticlesShowInFooter => true,
wgRelatedArticlesUseCirrusSearch => true,
- },
- require => MediaWiki::Extension['Cards'],
+ }
}
-
- mediawiki::extension { 'Cards': }
}
--
To view, visit https://gerrit.wikimedia.org/r/359193
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I4cc211630f4f0fe9fa4cd0d6fe70f9bf1e6210ba
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/vagrant
Gerrit-Branch: master
Gerrit-Owner: Phuedx <[email protected]>
Gerrit-Reviewer: Bmansurov <[email protected]>
Gerrit-Reviewer: BryanDavis <[email protected]>
Gerrit-Reviewer: Dduvall <[email protected]>
Gerrit-Reviewer: Reedy <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
