From d29ccb177dab0066a73889b85b8dbc35c5780f3c Mon Sep 17 00:00:00 2001
From: "Matt A. Tobin" <email@mattatobin.com>
Date: Mon, 20 Jul 2020 08:25:28 -0400
Subject: [PATCH] [Pale-Moon] Issue #1814 - Add controls for WASM

---
 .../palemoon/components/preferences/content.xul      | 12 ++++++++++++
 .../en-US/chrome/browser/preferences/content.dtd     |  4 ++++
 2 files changed, 16 insertions(+)

diff --git a/application/palemoon/components/preferences/content.xul b/application/palemoon/components/preferences/content.xul
index 23d942e457..19a6c34ab8 100644
--- a/application/palemoon/components/preferences/content.xul
+++ b/application/palemoon/components/preferences/content.xul
@@ -32,6 +32,10 @@
                   type="wstring"
                   onchange="gContentPane._rebuildFonts();"/>
                   
+      <!-- JavaScript -->
+      <preference id="javascript.options.wasm"        name="javascript.options.wasm"          type="bool"/>
+
+
       <!-- VIDEO -->
       <preference id="media.mediasource.enabled"       name="media.mediasource.enabled"       type="bool"/>
       <preference id="media.mediasource.mp4.enabled"   name="media.mediasource.mp4.enabled"   type="bool"/>
@@ -153,6 +157,14 @@
       </hbox>
     </groupbox>
 
+    <!-- Javascript -->
+     <groupbox id="jsOptionsGroup">
+       <caption label="&jsOptions.label;"/>
+
+       <checkbox id="jsOptionsWasm" preference="javascript.options.wasm"
+                 label="&jsOptionsWasm.label;" accesskey="&jsOptionsWasm.accesskey;"/>
+     </groupbox>    
+
     <!-- Video -->
      <groupbox id="videoGroup">
        <caption label="&video.label;"/>
diff --git a/application/palemoon/locales/en-US/chrome/browser/preferences/content.dtd b/application/palemoon/locales/en-US/chrome/browser/preferences/content.dtd
index 91abab0694..1d0f2af746 100644
--- a/application/palemoon/locales/en-US/chrome/browser/preferences/content.dtd
+++ b/application/palemoon/locales/en-US/chrome/browser/preferences/content.dtd
@@ -30,6 +30,10 @@
 <!ENTITY  chooseButton.label          "Choose…">
 <!ENTITY  chooseButton.accesskey      "o">
 
+<!ENTITY  jsOptions.label             "Javascript">
+<!ENTITY  jsOptionsWasm.label         "Enable WebAssembly (WASM)">
+<!ENTITY  jsOptionsWasm.accesskey     "y">
+
 <!ENTITY  video.label                 "Video">
 <!ENTITY  videoMSE.label              "Enable Media Source Extensions (MSE)">
 <!ENTITY  videoMSE.accesskey          "M">