Merge branch 'master' into NewUI-flat-merge-with-master

1 files changed, 7 insertions, 1 deletions

diff --git a/gulpfile.js b/gulpfile.js
index 620b9b663..195e3f3ca 100644
--- a/gulpfile.js
+++ b/gulpfile.js
@@ -126,11 +126,17 @@ gulp.task('manifest:production', function() {
     './dist/firefox/manifest.json',
     './dist/chrome/manifest.json',
     './dist/edge/manifest.json',
+    './dist/opera/manifest.json',
   ],{base: './dist/'})
+
+  // Exclude chromereload script in production:
   .pipe(gulpif(!debug,jsoneditor(function(json) {
-    json.background.scripts = ["scripts/background.js"]
+    json.background.scripts = json.background.scripts.filter((script) => {
+      return !script.includes('chromereload')
+    })
     return json
   })))
+
   .pipe(gulp.dest('./dist/', { overwrite: true }))
 })