From a7fcf881faa74223006a9cd264962ea8d13e175f Mon Sep 17 00:00:00 2001 From: kozbial Date: Mon, 9 Aug 2021 16:14:38 -0700 Subject: [PATCH] Add missing eslint disable line for required interface --- core/workspace.js | 1 + 1 file changed, 1 insertion(+) diff --git a/core/workspace.js b/core/workspace.js index c1115e011..32125974e 100644 --- a/core/workspace.js +++ b/core/workspace.js @@ -22,6 +22,7 @@ const BlocklyOptions = goog.requireType('Blockly.BlocklyOptions'); /* eslint-disable-next-line no-unused-vars */ const ConnectionDB = goog.requireType('Blockly.ConnectionDB'); const Events = goog.require('Blockly.Events'); +/* eslint-disable-next-line no-unused-vars */ const IASTNodeLocation = goog.require('Blockly.IASTNodeLocation'); /* eslint-disable-next-line no-unused-vars */ const IConnectionChecker = goog.requireType('Blockly.IConnectionChecker');