Dzahn has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/333080 )
Change subject: dumps: Add a favicon (using the wmf one)
......................................................................
dumps: Add a favicon (using the wmf one)
Change-Id: I7a2482d5ace3baa6d16ba0d1ade8d1e0fa7687e7
---
A modules/dumps/files/favicon.ico
M modules/dumps/manifests/init.pp
2 files changed, 7 insertions(+), 0 deletions(-)
Approvals:
jenkins-bot: Verified
Dzahn: Looks good to me, approved
diff --git a/modules/dumps/files/favicon.ico b/modules/dumps/files/favicon.ico
new file mode 100644
index 0000000..2cb5073
--- /dev/null
+++ b/modules/dumps/files/favicon.ico
Binary files differ
diff --git a/modules/dumps/manifests/init.pp b/modules/dumps/manifests/init.pp
index a157d3b..db43ecf 100644
--- a/modules/dumps/manifests/init.pp
+++ b/modules/dumps/manifests/init.pp
@@ -25,4 +25,11 @@
mode => '0444',
require => Package['nginx-extras'],
}
+
+ file { '/data/xmldatadumps/public/favicon.ico':
+ source => 'puppet:///modules/dumps/favicon.ico',
+ owner => 'root',
+ group => 'root',
+ mode => '0444',
+ }
}
--
To view, visit https://gerrit.wikimedia.org/r/333080
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I7a2482d5ace3baa6d16ba0d1ade8d1e0fa7687e7
Gerrit-PatchSet: 4
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Chad <ch...@wikimedia.org>
Gerrit-Reviewer: ArielGlenn <ar...@wikimedia.org>
Gerrit-Reviewer: Dzahn <dz...@wikimedia.org>
Gerrit-Reviewer: Krinkle <krinklem...@gmail.com>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
