From a4a390ba6d29323079ecff981697c9d0659798a9 Mon Sep 17 00:00:00 2001
From: Sam El-Husseini <sam.elhusseini@gmail.com>
Date: Wed, 15 Apr 2020 15:46:42 -0700
Subject: [PATCH] Add user agent types so they appear in dts (#3825)

---
 core/utils/useragent.js | 39 +++++++++++++++++++++++++++++++++++++++
 1 file changed, 39 insertions(+)

diff --git a/core/utils/useragent.js b/core/utils/useragent.js
index 401a49afb..84d036d57 100644
--- a/core/utils/useragent.js
+++ b/core/utils/useragent.js
@@ -20,6 +20,45 @@ goog.provide('Blockly.utils.userAgent');
 
 goog.require('Blockly.utils.global');
 
+/** @const {boolean} */
+Blockly.utils.userAgent.IE;
+
+/** @const {boolean} */
+Blockly.utils.userAgent.EDGE;
+
+/** @const {boolean} */
+Blockly.utils.userAgent.JAVA_FX;
+
+/** @const {boolean} */
+Blockly.utils.userAgent.CHROME;
+
+/** @const {boolean} */
+Blockly.utils.userAgent.WEBKIT;
+
+/** @const {boolean} */
+Blockly.utils.userAgent.GECKO;
+
+/** @const {boolean} */
+Blockly.utils.userAgent.ANDROID;
+
+/** @const {boolean} */
+Blockly.utils.userAgent.IPAD;
+
+/** @const {boolean} */
+Blockly.utils.userAgent.IPOD;
+
+/** @const {boolean} */
+Blockly.utils.userAgent.IPHONE;
+
+/** @const {boolean} */
+Blockly.utils.userAgent.MAC;
+
+/** @const {boolean} */
+Blockly.utils.userAgent.TABLET;
+
+/** @const {boolean} */
+Blockly.utils.userAgent.MOBILE;
+
 (function(raw) {
   Blockly.utils.userAgent.raw = raw;
   var rawUpper = Blockly.utils.userAgent.raw.toUpperCase();