diff --git a/core/interfaces/i_metrics_manager.js b/core/interfaces/i_metrics_manager.js index b8cbd2231..db1f575c1 100644 --- a/core/interfaces/i_metrics_manager.js +++ b/core/interfaces/i_metrics_manager.js @@ -14,8 +14,11 @@ goog.module('Blockly.IMetricsManager'); goog.module.declareLegacyNamespace(); +/* eslint-disable-next-line no-unused-vars */ const Metrics = goog.requireType('Blockly.utils.Metrics'); +/* eslint-disable-next-line no-unused-vars */ const Size = goog.requireType('Blockly.utils.Size'); +/* eslint-disable-next-line no-unused-vars */ const {AbsoluteMetrics, ContainerRegion, ToolboxMetrics} = goog.requireType('Blockly.MetricsManager');