Alexandros Kosiaris has submitted this change and it was merged.

Change subject: Mathoid: Enable texvcinfo generation
......................................................................


Mathoid: Enable texvcinfo generation

Mathoid v0.2.9 introduces texvcinfo, an option enabling input-text
parsing and verification for tex and inline-tex user-provided formulae.

Change-Id: I62b4e92507d461c8f8cfb9840fb227f91edf415f
---
M modules/mathoid/manifests/init.pp
1 file changed, 4 insertions(+), 0 deletions(-)

Approvals:
  Alexandros Kosiaris: Looks good to me, approved
  Physikerwelt: Looks good to me, but someone else must approve
  jenkins-bot: Verified



diff --git a/modules/mathoid/manifests/init.pp 
b/modules/mathoid/manifests/init.pp
index 26586cd..946ded0 100644
--- a/modules/mathoid/manifests/init.pp
+++ b/modules/mathoid/manifests/init.pp
@@ -15,12 +15,15 @@
 #   files, so it might be insecure.
 # [*speakText_generation*]
 #   Enable speakText generation.
+# [*textvcinfo_generation*]
+#   Enable texvcinfo generation. Default: true
 #
 class mathoid(
     $svg_generation=true,
     $img_generation=true,
     $png_generation=false,
     $speakText_generation=false,
+    $texvcinfo_generation=true,
 ) {
 
     # Pending fix for 
<https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=742347>
@@ -37,6 +40,7 @@
             img       => $img_generation,
             png       => $png_generation,
             speakText => $speakText_generation,
+            texvcinfo => $texvcinfo_generation,
         },
         healthcheck_url => '',
         has_spec        => true,

-- 
To view, visit https://gerrit.wikimedia.org/r/252429
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I62b4e92507d461c8f8cfb9840fb227f91edf415f
Gerrit-PatchSet: 3
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Mobrovac <[email protected]>
Gerrit-Reviewer: Alexandros Kosiaris <[email protected]>
Gerrit-Reviewer: Physikerwelt <[email protected]>
Gerrit-Reviewer: jenkins-bot <>

_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to