[Pale-Moon] Issue #1814 - Add controls for WASM

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;"/>

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">