From c1c49badff7d689c364470fc7a525a9caab1533c Mon Sep 17 00:00:00 2001
From: Jonas Jenwald <jonas.jenwald@gmail.com>
Date: Mon, 9 Jul 2018 15:15:42 +0200
Subject: [PATCH] Remove the, now unused, `Util.inherit` helper function

---
 src/shared/util.js | 8 --------
 1 file changed, 8 deletions(-)

diff --git a/src/shared/util.js b/src/shared/util.js
index d2c5d1981..7f6fc931d 100644
--- a/src/shared/util.js
+++ b/src/shared/util.js
@@ -875,14 +875,6 @@ var Util = (function UtilClosure() {
     return (lowerCase ? romanStr.toLowerCase() : romanStr);
   };
 
-  Util.inherit = function Util_inherit(sub, base, prototype) {
-    sub.prototype = Object.create(base.prototype);
-    sub.prototype.constructor = sub;
-    for (var prop in prototype) {
-      sub.prototype[prop] = prototype[prop];
-    }
-  };
-
   return Util;
 })();