Dzahn has submitted this change and it was merged.
Change subject: make the planet logo a "per language" thing
......................................................................
make the planet logo a "per language" thing
otherwise duplicate definition, and we want this anyways
as soon as we have localized logos
Change-Id: Idc70e02602d04e5260c3046f26e9101e32d19853
---
M modules/planet/manifests/theme.pp
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
jenkins-bot: Verified
Dzahn: Looks good to me, approved
diff --git a/modules/planet/manifests/theme.pp
b/modules/planet/manifests/theme.pp
index c05c323..10fee29 100644
--- a/modules/planet/manifests/theme.pp
+++ b/modules/planet/manifests/theme.pp
@@ -30,7 +30,7 @@
"/usr/share/planet-venus/theme/wikimedia/${title}/config.ini":
source => 'puppet:///modules/planet/theme/config.ini';
# logo image
- "/usr/share/planet-venus/theme/common/images/${logo}":
+ "/usr/share/planet-venus/theme/wikimedia/${title}/${logo}":
source => "puppet:///modules/planet/theme/images/${logo}";
# css file
"/usr/share/planet-venus/theme/wikimedia/${title}/${css_file}":
--
To view, visit https://gerrit.wikimedia.org/r/58448
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Idc70e02602d04e5260c3046f26e9101e32d19853
Gerrit-PatchSet: 1
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Dzahn <dz...@wikimedia.org>
Gerrit-Reviewer: Dzahn <dz...@wikimedia.org>
Gerrit-Reviewer: jenkins-bot
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
