diff options
| author |  Gehad elrobey <gehadelrobey@gmail.com> | 2014-08-28 11:12:21 +0300 |
|---|---|---|
| committer |  Dirk Hohndel <dirk@hohndel.org> | 2014-08-28 07:43:18 -0700 |
| commit | 3925aed5eaad0a37ec6a8614ba391b6703c45d39 (patch) | |
| tree | ddd046cbd2c037e50c3cd15220c450bc88c240ac /theme/dive_export.html | |
| parent | abfa4f2108080d17aec969c56b0b4d546b85365c (diff) | |
| download | subsurface-3925aed5eaad0a37ec6a8614ba391b6703c45d39.tar.gz | |
HTML: Changing the files extensions to js
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>
Diffstat (limited to 'theme/dive_export.html')
| -rw-r--r-- | theme/dive_export.html | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/theme/dive_export.html b/theme/dive_export.html index 697c16ca3..4073d0639 100644 --- a/theme/dive_export.html +++ b/theme/dive_export.html @@ -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"); |