diff options
Diffstat (limited to 'lang.js')
| -rw-r--r-- | lang.js | 28 |
1 files changed, 28 insertions, 0 deletions
@@ -1,3 +1,29 @@ +/** + * @licstart The following is the entire license notice for the + * JavaScript code in this page. + * + * Copyright (C) 2014 GNUnet e.V. + * + * The JavaScript code in this page is free software: you can + * redistribute it and/or modify it under the terms of the GNU + * General Public License (GNU GPL) as published by the Free Software + * Foundation, either version 3 of the License, or (at your option) + * any later version. The code is distributed WITHOUT ANY WARRANTY; + * without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU GPL for more details. + * + * As additional permission under GNU GPL version 3 section 7, you + * may distribute non-source (e.g., minimized or compacted) forms of + * that code without the copy of the GNU GPL normally required by + * section 4, provided you include this license notice and a URL + * through which recipients can access the Corresponding Source. + * + * @licend The above is the entire license notice + * for the JavaScript code in this page. + */ + +// @license magnet:?xt=urn:btih:1f739d935676111cfff4b4693e3816e664797050&dn=gpl-3.0.txt GPL-v3-or-Later + function supports_html5_storage() { try { return 'sessionStorage' in window && window['sessionStorage'] !== null; @@ -51,3 +77,5 @@ function activate_menu() b[i].setAttribute('class', s + ' active'); } } + +// @license-end |