diff options
author | Ismaël Bouya <ismael.bouya@normalesup.org> | 2023-10-04 01:35:06 +0200 |
---|---|---|
committer | Ismaël Bouya <ismael.bouya@normalesup.org> | 2023-10-04 02:11:48 +0200 |
commit | 1a64deeb894dc95e2645a75771732c6cc53a79ad (patch) | |
tree | 1b9df4838f894577a09b9b260151756272efeb53 /pkgs/webapps/apache-theme/theme/footer.html | |
parent | fa25ffd4583cc362075cd5e1b4130f33306103f0 (diff) | |
download | Nix-1a64deeb894dc95e2645a75771732c6cc53a79ad.tar.gz Nix-1a64deeb894dc95e2645a75771732c6cc53a79ad.tar.zst Nix-1a64deeb894dc95e2645a75771732c6cc53a79ad.zip |
Squash changes containing private information
There were a lot of changes since the previous commit, but a lot of them
contained personnal information about users. All thos changes got
stashed into a single commit (history is kept in a different place) and
private information was moved in a separate private repository
Diffstat (limited to 'pkgs/webapps/apache-theme/theme/footer.html')
-rw-r--r-- | pkgs/webapps/apache-theme/theme/footer.html | 31 |
1 files changed, 0 insertions, 31 deletions
diff --git a/pkgs/webapps/apache-theme/theme/footer.html b/pkgs/webapps/apache-theme/theme/footer.html deleted file mode 100644 index 57a2012..0000000 --- a/pkgs/webapps/apache-theme/theme/footer.html +++ /dev/null | |||
@@ -1,31 +0,0 @@ | |||
1 | </div><!--/.wrapper--> | ||
2 | |||
3 | <script type="text/javascript"> | ||
4 | // grab the 2nd child and add the parent class. tr:nth-child(2) | ||
5 | document.getElementsByTagName('tr')[1].className = 'parent'; | ||
6 | // fix links when not adding a / at the end of the URI | ||
7 | var uri = window.location.pathname.substr(1); | ||
8 | if (uri.length > 0 && uri.substring(uri.length-1) != '/'){ | ||
9 | var indexes = document.getElementsByClassName('indexcolname'), | ||
10 | i = indexes.length; | ||
11 | while (i--){ | ||
12 | var a = indexes[i].getElementsByTagName('a')[0]; | ||
13 | a.href = '/' + uri + '/' + a.getAttribute('href',2); | ||
14 | } | ||
15 | } | ||
16 | |||
17 | function getAjax(url, success) { | ||
18 | var xhr = window.XMLHttpRequest ? new XMLHttpRequest() : new ActiveXObject('Microsoft.XMLHTTP'); | ||
19 | xhr.open('GET', url); | ||
20 | xhr.onreadystatechange = function() { | ||
21 | if (xhr.readyState>3 && xhr.status==200) | ||
22 | success(xhr.responseText); | ||
23 | }; | ||
24 | xhr.setRequestHeader('X-Requested-With', 'XMLHttpRequest'); | ||
25 | xhr.send(); | ||
26 | return xhr; | ||
27 | } | ||
28 | getAjax("title", function(data) { | ||
29 | document.getElementById('pagetitle').innerHTML = data; | ||
30 | }); | ||
31 | </script> | ||