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

Aleksander Machniak

2013-11-24 f59cfe88063957a0d07a99b6893e5e2cd8598f53

 program/js/tiny_mce/plugins/searchreplace/editor_plugin_src.js

@@ -12,6 +12,10 @@
   tinymce.create('tinymce.plugins.SearchReplacePlugin', {

      init : function(ed, url) {

         function open(m) {

            // Keep IE from writing out the f/r character to the editor

            // instance while initializing a new dialog. See: #3131190

            window.focus();



            ed.windowManager.open({

               file : url + '/searchreplace.htm',

               width : 420 + parseInt(ed.getLang('searchreplace.delta_width', 0)),