aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorChristian Grothoff <christian@grothoff.org>2015-03-14 17:09:28 +0100
committerChristian Grothoff <christian@grothoff.org>2015-03-14 17:09:28 +0100
commit49f88b5076e5124f5c23bf9bfa7c3af53d640703 (patch)
treedd793a5c332d8bae3147957700a3743390b905f6
parent655d6715c42c94c453ab6b8de4d1a6fa492beeb2 (diff)
downloadwww-49f88b5076e5124f5c23bf9bfa7c3af53d640703.tar.gz
www-49f88b5076e5124f5c23bf9bfa7c3af53d640703.zip
libre JS annotations
Former-commit-id: 22a0dae93782777bfee1966e55afa3b89f780709
-rw-r--r--common/header.inc26
-rw-r--r--lang.js4
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="">
diff --git a/lang.js b/lang.js
index c00cf34a..0a2c2bf1 100644
--- a/lang.js
+++ b/lang.js
@@ -1,3 +1,5 @@
1// @license magnet:?xt=urn:btih:1f739d935676111cfff4b4693e3816e664797050&dn=gpl-3.0.txt GPL-v3-or-Later
2
1function supports_html5_storage() { 3function 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