From ce234ab3c748d703157e39f9f01a8a6252d95194 Mon Sep 17 00:00:00 2001
From: Jonas Jenwald <jonas.jenwald@gmail.com>
Date: Fri, 29 May 2020 17:14:38 +0200
Subject: [PATCH] Remove the `deprecatedInMozcentral` functionality from the
 `external/builder/builder.js` file

This functionality has been completely unused ever since PR 9629 (two years ago).
---
 external/builder/builder.js | 8 +-------
 1 file changed, 1 insertion(+), 7 deletions(-)

diff --git a/external/builder/builder.js b/external/builder/builder.js
index a2d37a365..ebf55efc4 100644
--- a/external/builder/builder.js
+++ b/external/builder/builder.js
@@ -196,19 +196,13 @@ function preprocess(inFilename, outFilename, defines) {
 }
 exports.preprocess = preprocess;
 
-var deprecatedInMozcentral = new RegExp(
-  "(^|\\W)(" + ["-moz-box-sizing", "-moz-grab", "-moz-grabbing"].join("|") + ")"
-);
-
 function preprocessCSS(mode, source, destination) {
   function hasPrefixedFirefox(line) {
     return /(^|\W)-(ms|o|webkit)-\w/.test(line);
   }
 
   function hasPrefixedMozcentral(line) {
-    return (
-      /(^|\W)-(ms|o|webkit)-\w/.test(line) || deprecatedInMozcentral.test(line)
-    );
+    return /(^|\W)-(ms|o|webkit)-\w/.test(line);
   }
 
   function expandImports(content, baseUrl) {