From b5a076d2b3740d101ecf27fe6d24e7bde731ad5a Mon Sep 17 00:00:00 2001
From: alschmiedt <aschmiedt@google.com>
Date: Fri, 27 Sep 2019 12:36:16 -0700
Subject: [PATCH] Add theme requires (#3114)

---
 core/requires.js | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/core/requires.js b/core/requires.js
index a55245b72..dc76807c4 100644
--- a/core/requires.js
+++ b/core/requires.js
@@ -83,3 +83,10 @@ goog.require('Blockly.FieldVariable');
 goog.require('Blockly.geras.Renderer');
 goog.require('Blockly.thrasos.Renderer');
 goog.require('Blockly.zelos.Renderer');
+
+// Blockly Themes.
+// Classic is the default theme.
+goog.require('Blockly.Themes.Classic');
+goog.require('Blockly.Themes.Dark');
+goog.require('Blockly.Themes.HighContrast');
+goog.require('Blockly.Themes.Modern');