Dzahn has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/403605 )
Change subject: Add Noto fonts to mediawiki::packages::fonts
......................................................................
Add Noto fonts to mediawiki::packages::fonts
Bug: T184664
Change-Id: I64d1d86972d1d17e7f468341b407f14ccbdbe577
---
M modules/mediawiki/manifests/packages/fonts.pp
1 file changed, 9 insertions(+), 1 deletion(-)
Approvals:
jenkins-bot: Verified
Dzahn: Looks good to me, approved
diff --git a/modules/mediawiki/manifests/packages/fonts.pp
b/modules/mediawiki/manifests/packages/fonts.pp
index 9377d94..b718d2b 100644
--- a/modules/mediawiki/manifests/packages/fonts.pp
+++ b/modules/mediawiki/manifests/packages/fonts.pp
@@ -67,6 +67,12 @@
)
}
+ if os_version('debian == jessie') {
+ require_package(
+ 'fonts-noto' # T184664
+ )
+ }
+
if os_version('debian >= jessie') {
require_package(
'fonts-beng',
@@ -82,7 +88,9 @@
'fonts-noto-cjk',
'fonts-sil-lateef',
'fonts-ipafont-gothic',
- 'fonts-ipafont-mincho'
+ 'fonts-ipafont-mincho',
+ 'fonts-noto-hinted', # T184664
+ 'fonts-noto-unhinted' # T184664
)
}
--
To view, visit https://gerrit.wikimedia.org/r/403605
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I64d1d86972d1d17e7f468341b407f14ccbdbe577
Gerrit-PatchSet: 5
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Reedy <re...@wikimedia.org>
Gerrit-Reviewer: Alex Monk <kren...@gmail.com>
Gerrit-Reviewer: Dzahn <dz...@wikimedia.org>
Gerrit-Reviewer: Filippo Giunchedi <fgiunch...@wikimedia.org>
Gerrit-Reviewer: Gilles <gdu...@wikimedia.org>
Gerrit-Reviewer: Giuseppe Lavagetto <glavage...@wikimedia.org>
Gerrit-Reviewer: Muehlenhoff <mmuhlenh...@wikimedia.org>
Gerrit-Reviewer: Reedy <re...@wikimedia.org>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
