From 3925aed5eaad0a37ec6a8614ba391b6703c45d39 Mon Sep 17 00:00:00 2001 From: Gehad elrobey Date: Thu, 28 Aug 2014 11:12:21 +0300 Subject: HTML: Changing the files extensions to js These are actually javascript files containing js objects and not json files. Signed-off-by: Gehad elrobey Signed-off-by: Dirk Hohndel --- theme/dive_export.html | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'theme') 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"); -- cgit v1.2.3-70-g09d2