Giuseppe Lavagetto has uploaded a new change for review.
https://gerrit.wikimedia.org/r/196173
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(-)
git pull ssh://gerrit.wikimedia.org:29418/operations/puppet
refs/changes/73/196173/1
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: newchange
Gerrit-Change-Id: I73790027f9ffc80a0b95c59ab084f6b7b3ffdfdf
Gerrit-PatchSet: 1
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Giuseppe Lavagetto <glavage...@wikimedia.org>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
