Giuseppe Lavagetto has submitted this change and it was merged.
Change subject: mediawiki: install fonts metric-compatible with Calibri and
Cambria
......................................................................
mediawiki: install fonts metric-compatible with Calibri and Cambria
Bug: T84842
Change-Id: I73790027f9ffc80a0b95c59ab084f6b7b3ffdfdf
---
M modules/mediawiki/manifests/packages/fonts.pp
1 file changed, 6 insertions(+), 0 deletions(-)
Approvals:
Gilles: Looks good to me, but someone else must approve
Giuseppe Lavagetto: Verified; Looks good to me, approved
jenkins-bot: Verified
diff --git a/modules/mediawiki/manifests/packages/fonts.pp
b/modules/mediawiki/manifests/packages/fonts.pp
index 9905ad3..4656110 100644
--- a/modules/mediawiki/manifests/packages/fonts.pp
+++ b/modules/mediawiki/manifests/packages/fonts.pp
@@ -57,4 +57,10 @@
]:
ensure => present,
}
+ # Bug T84842
+ if os_version('ubuntu >= trusty || debian >= jessie') {
+ package { ['fonts-crosextra-carlito', 'fonts-crosextra-caladea']:
+ ensure => present,
+ }
+ }
}
--
To view, visit https://gerrit.wikimedia.org/r/196173
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I73790027f9ffc80a0b95c59ab084f6b7b3ffdfdf
Gerrit-PatchSet: 3
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Giuseppe Lavagetto <glavage...@wikimedia.org>
Gerrit-Reviewer: Gilles <gdu...@wikimedia.org>
Gerrit-Reviewer: Giuseppe Lavagetto <glavage...@wikimedia.org>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
