CodingPirates/blockly
1
0
Fork 0
mirror of https://github.com/google/blockly.git synced 2026-01-11 02:47:09 +01:00
Code Issues Packages Projects Releases Wiki Activity

Add user agent types so they appear in dts (#3825)

Browse Source
This commit is contained in:
Sam El-Husseini
2020-04-15 15:46:42 -07:00
committed by GitHub
parent ab5f7d8a00
commit a4a390ba6d
1 changed files with 39 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

39
core/utils/useragent.js
View File

@@ -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();