diff options
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"); |