Make Reporting-UA header in MDN report optional, as User-Agent is

Aleksander Machniak

2013-11-24 f59cfe88063957a0d07a99b6893e5e2cd8598f53

 program/js/editor.js

@@ -61,6 +61,9 @@
        if (!active)
          rcmail.spellcheck_state();
      });
      ed.onKeyPress.add(function(ed, e) {
          rcmail.compose_type_activity++;
      });
    }
  }