diff options
author | Christian Grothoff <christian@grothoff.org> | 2015-03-14 17:09:28 +0100 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2015-03-14 17:09:28 +0100 |
commit | 49f88b5076e5124f5c23bf9bfa7c3af53d640703 (patch) | |
tree | dd793a5c332d8bae3147957700a3743390b905f6 | |
parent | 655d6715c42c94c453ab6b8de4d1a6fa492beeb2 (diff) | |
download | www-49f88b5076e5124f5c23bf9bfa7c3af53d640703.tar.gz www-49f88b5076e5124f5c23bf9bfa7c3af53d640703.zip |
libre JS annotations
Former-commit-id: 22a0dae93782777bfee1966e55afa3b89f780709
-rw-r--r-- | common/header.inc | 26 | ||||
-rw-r--r-- | lang.js | 4 |
2 files changed, 30 insertions, 0 deletions
diff --git a/common/header.inc b/common/header.inc index bb392abf..11d92f51 100644 --- a/common/header.inc +++ b/common/header.inc | |||
@@ -1,3 +1,29 @@ | |||
1 | <script> | ||
2 | /* | ||
3 | @licstart The following is the entire license notice for the | ||
4 | JavaScript code in this page. | ||
5 | |||
6 | Copyright (C) 2014,2015 GNUnet e.V. | ||
7 | |||
8 | The JavaScript code in this page is free software: you can | ||
9 | redistribute it and/or modify it under the terms of the GNU | ||
10 | General Public License (GNU GPL) as published by the Free Software | ||
11 | Foundation, either version 3 of the License, or (at your option) | ||
12 | any later version. The code is distributed WITHOUT ANY WARRANTY; | ||
13 | without even the implied warranty of MERCHANTABILITY or FITNESS | ||
14 | FOR A PARTICULAR PURPOSE. See the GNU GPL for more details. | ||
15 | |||
16 | As additional permission under GNU GPL version 3 section 7, you | ||
17 | may distribute non-source (e.g., minimized or compacted) forms of | ||
18 | that code without the copy of the GNU GPL normally required by | ||
19 | section 4, provided you include this license notice and a URL | ||
20 | through which recipients can access the Corresponding Source. | ||
21 | |||
22 | @licend The above is the entire license notice | ||
23 | for the JavaScript code in this page. | ||
24 | */ | ||
25 | </script> | ||
26 | |||
1 | <meta http-equiv="X-UA-Compatible" content="IE=edge"> | 27 | <meta http-equiv="X-UA-Compatible" content="IE=edge"> |
2 | <meta name="viewport" content="width=device-width, initial-scale=1"> | 28 | <meta name="viewport" content="width=device-width, initial-scale=1"> |
3 | <meta name="author" content=""> | 29 | <meta name="author" content=""> |
@@ -1,3 +1,5 @@ | |||
1 | // @license magnet:?xt=urn:btih:1f739d935676111cfff4b4693e3816e664797050&dn=gpl-3.0.txt GPL-v3-or-Later | ||
2 | |||
1 | function supports_html5_storage() { | 3 | function supports_html5_storage() { |
2 | try { | 4 | try { |
3 | return 'sessionStorage' in window && window['sessionStorage'] !== null; | 5 | return 'sessionStorage' in window && window['sessionStorage'] !== null; |
@@ -51,3 +53,5 @@ function activate_menu() | |||
51 | b[i].setAttribute('class', s + ' active'); | 53 | b[i].setAttribute('class', s + ' active'); |
52 | } | 54 | } |
53 | } | 55 | } |
56 | |||
57 | // @license-end | ||