mirror of
https://github.com/zulip/zulip.git
synced 2025-11-06 15:03:34 +00:00
a92a35906c
Firefox drops the favicon after modifying window.location.hash, so we reset it after modifying it. See https://bugzilla.mozilla.org/show_bug.cgi?id=408415 and https://bugzilla.mozilla.org/show_bug.cgi?id=519028 This fixes #422 (imported from commit 3d7ac5ba28a4fa94d2bd9a0f711db8cd538039d3)
19 lines
562 B
JavaScript
19 lines
562 B
JavaScript
var util = (function () {
|
|
|
|
var exports = {};
|
|
|
|
// From MDN: https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Math/random
|
|
exports.random_int = function random_int(min, max) {
|
|
return Math.floor(Math.random() * (max - min + 1)) + min;
|
|
};
|
|
|
|
// We need to reset the favicon after changing the
|
|
// window.location.hash or Firefox will drop the favicon. See
|
|
// https://bugzilla.mozilla.org/show_bug.cgi?id=519028
|
|
exports.reset_favicon = function () {
|
|
$('link[rel="shortcut icon"]').detach().appendTo('head');
|
|
};
|
|
|
|
return exports;
|
|
}());
|