diff options
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; }, |