fc77ee76d6
The primary license of the project is changing to: AGPL-3.0-or-later WITH Web-Template-Output-Additional-Permission-3.0-or-later The Additional Permission is designed to permit publicly distributed Javascript code to be relicensed under LGPL-3.0-or-later, but not server-side Javascript code. As such, we've relicensed here static Javscript files under LGPL-3.0-or-later, and those that run as part of build and/or server side under AGPL-3.0-or-later. Note that in future, Javascript files may be updated to be stronger copyleft license with the Additional Permission, particularly if they adapted to run on server side and/or turned into templates. Of course, we'd seek public discussion with the contributor community about such changes. This commit is one of the many steps to relicense the entire codebase. Documentation granting permission for this relicensing (from all past contributors who hold copyrights) is on file with Software Freedom Conservancy, Inc.
110 lines
2.9 KiB
JavaScript
Executable file
110 lines
2.9 KiB
JavaScript
Executable file
// License: LGPL-3.0-or-later
|
|
/*!
|
|
* jQuery Cookie Plugin v1.4.1
|
|
* https://github.com/carhartl/jquery-cookie
|
|
*
|
|
* Copyright 2013 Klaus Hartl
|
|
* Released under the MIT license
|
|
*/
|
|
(function (factory) {
|
|
factory(jQuery);
|
|
}(function ($) {
|
|
|
|
var pluses = /\+/g;
|
|
|
|
function encode(s) {
|
|
return config.raw ? s : encodeURIComponent(s);
|
|
}
|
|
|
|
function decode(s) {
|
|
return config.raw ? s : decodeURIComponent(s);
|
|
}
|
|
|
|
function stringifyCookieValue(value) {
|
|
return encode(config.json ? JSON.stringify(value) : String(value));
|
|
}
|
|
|
|
function parseCookieValue(s) {
|
|
if (s.indexOf('"') === 0) {
|
|
// This is a quoted cookie as according to RFC2068, unescape...
|
|
s = s.slice(1, -1).replace(/\\"/g, '"').replace(/\\\\/g, '\\');
|
|
}
|
|
|
|
try {
|
|
// Replace server-side written pluses with spaces.
|
|
// If we can't decode the cookie, ignore it, it's unusable.
|
|
// If we can't parse the cookie, ignore it, it's unusable.
|
|
s = decodeURIComponent(s.replace(pluses, ' '));
|
|
return config.json ? JSON.parse(s) : s;
|
|
} catch(e) {}
|
|
}
|
|
|
|
function read(s, converter) {
|
|
var value = config.raw ? s : parseCookieValue(s);
|
|
return $.isFunction(converter) ? converter(value) : value;
|
|
}
|
|
|
|
var config = $.cookie = function (key, value, options) {
|
|
|
|
// Write
|
|
|
|
if (value !== undefined && !$.isFunction(value)) {
|
|
options = $.extend({}, config.defaults, options);
|
|
|
|
if (typeof options.expires === 'number') {
|
|
var days = options.expires, t = options.expires = new Date();
|
|
t.setTime(+t + days * 864e+5);
|
|
}
|
|
|
|
return (document.cookie = [
|
|
encode(key), '=', stringifyCookieValue(value),
|
|
options.expires ? '; expires=' + options.expires.toUTCString() : '', // use expires attribute, max-age is not supported by IE
|
|
options.path ? '; path=' + options.path : '',
|
|
options.domain ? '; domain=' + options.domain : '',
|
|
options.secure ? '; secure' : ''
|
|
].join(''));
|
|
}
|
|
|
|
// Read
|
|
|
|
var result = key ? undefined : {};
|
|
|
|
// To prevent the for loop in the first place assign an empty array
|
|
// in case there are no cookies at all. Also prevents odd result when
|
|
// calling $.cookie().
|
|
var cookies = document.cookie ? document.cookie.split('; ') : [];
|
|
|
|
for (var i = 0, l = cookies.length; i < l; i++) {
|
|
var parts = cookies[i].split('=');
|
|
var name = decode(parts.shift());
|
|
var cookie = parts.join('=');
|
|
|
|
if (key && key === name) {
|
|
// If second argument (value) is a function it's a converter...
|
|
result = read(cookie, value);
|
|
break;
|
|
}
|
|
|
|
// Prevent storing a cookie that we couldn't decode.
|
|
if (!key && (cookie = read(cookie)) !== undefined) {
|
|
result[name] = cookie;
|
|
}
|
|
}
|
|
|
|
return result;
|
|
};
|
|
|
|
config.defaults = {};
|
|
|
|
|
|
$.removeCookie = function (key, options) {
|
|
if ($.cookie(key) === undefined) {
|
|
return false;
|
|
}
|
|
|
|
// Must not alter options, thus extending a fresh object...
|
|
$.cookie(key, '', $.extend({}, options, { expires: -1 }));
|
|
return !$.cookie(key);
|
|
};
|
|
|
|
}));
|