Dzahn has submitted this change and it was merged.
Change subject: mediawiki: revert adding fonts-gujr-extra
......................................................................
mediawiki: revert adding fonts-gujr-extra
The entire font list needs to be restructured for this
to work on all distros, precise, trusty and jessie.
See details on the ticket.
Bug:T129500
Change-Id: I1cf21b3313269fadd2ca3b3d8886676914ef039a
---
M modules/mediawiki/manifests/packages/fonts.pp
1 file changed, 1 insertion(+), 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 727b1f8..40f4bf3 100644
--- a/modules/mediawiki/manifests/packages/fonts.pp
+++ b/modules/mediawiki/manifests/packages/fonts.pp
@@ -30,6 +30,7 @@
'ttf-alee',
'ttf-bengali-fonts',
'ttf-devanagari-fonts',
+ 'ttf-gujarati-fonts',
'ttf-kannada-fonts',
'ttf-malayalam-fonts',
'ttf-oriya-fonts',
@@ -61,7 +62,6 @@
package { [
'fonts-crosextra-carlito',
'fonts-crosextra-caladea',
- 'fonts-gujr-extra', # T129500
]:
ensure => present,
}
--
To view, visit https://gerrit.wikimedia.org/r/276825
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I1cf21b3313269fadd2ca3b3d8886676914ef039a
Gerrit-PatchSet: 1
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Dzahn <[email protected]>
Gerrit-Reviewer: Alex Monk <[email protected]>
Gerrit-Reviewer: Dereckson <[email protected]>
Gerrit-Reviewer: Dzahn <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
