diff options
author | XhmikosR <xhmikosr@gmail.com> | 2015-12-05 10:15:18 +0300 |
---|---|---|
committer | XhmikosR <xhmikosr@gmail.com> | 2015-12-05 12:43:23 +0300 |
commit | 34a0ce571e4d21c70affb870844edd94fa7b78a0 (patch) | |
tree | 35a9c40a96d47afcf7797861d051ea173cb65822 /js/dist/util.js | |
parent | 419128887352755586ed75904c3dd560cb519ccd (diff) |
Run `grunt`.
[ci skip]
Diffstat (limited to 'js/dist/util.js')
-rw-r--r-- | js/dist/util.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/js/dist/util.js b/js/dist/util.js index 934bad697a..7abc5a6063 100644 --- a/js/dist/util.js +++ b/js/dist/util.js @@ -101,7 +101,7 @@ var Util = (function ($) { getUID: function getUID(prefix) { do { - prefix += ~ ~(Math.random() * 1000000); + prefix += ~ ~(Math.random() * 1000000); // "~~" acts like a faster Math.floor() here } while (document.getElementById(prefix)); return prefix; }, |