mifr/subsurface
1
0
Fork 0
mirror of https://github.com/subsurface/subsurface.git synced 2025-02-19 22:16:15 +00:00
Code Issues Projects Releases Packages Wiki Activity

HTML: Changing the files extensions to js

Browse source 
These are actually javascript files containing js objects and not json
files.

Signed-off-by: Gehad elrobey <gehadelrobey@gmail.com>
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
This commit is contained in:
Gehad elrobey 2014-08-28 11:12:21 +03:00 • committed by Dirk Hohndel
parent abfa4f2108
commit 3925aed5ea
2 changed files with 8 additions and 8 deletions
Download patch file Download diff file Expand all files Collapse all files

8
theme/dive_export.html
View file

@ -31,19 +31,19 @@ function load_scripts()
document.getElementsByTagName("head")[0].appendChild(fileref);
fileref=document.createElement('script');
fileref.setAttribute("src", location.pathname + "_files/file.json");
fileref.setAttribute("src", location.pathname + "_files/file.js");
document.getElementsByTagName("head")[0].appendChild(fileref);
fileref=document.createElement('script');
fileref.setAttribute("src", location.pathname + "_files/stat.json");
fileref.setAttribute("src", location.pathname + "_files/stat.js");
document.getElementsByTagName("head")[0].appendChild(fileref);
fileref=document.createElement('script');
fileref.setAttribute("src", location.pathname + "_files/translation.json");
fileref.setAttribute("src", location.pathname + "_files/translation.js");
document.getElementsByTagName("head")[0].appendChild(fileref);
fileref=document.createElement('script');
fileref.setAttribute("src", location.pathname + "_files/settings.json");
fileref.setAttribute("src", location.pathname + "_files/settings.js");
document.getElementsByTagName("head")[0].appendChild(fileref);
load_script_sync("list_lib.js");