extension changed: php -> html

This javascript code moves the page if node is double-clicked.
Since we do not use php anymore, use html.

Change-Id: I35d1d4f97a8b41b0cc59a58e7f726003d4ada0fd
Signed-off-by: Junghyun Kim <jh0822.kim@samsung.com>

diff --git a/dep_graph/dep_graph.js b/dep_graph/dep_graph.js
index 1002fab..34de48e 100644 (file)
--- a/dep_graph/dep_graph.js
+++ b/dep_graph/dep_graph.js
@@ -9,7 +9,7 @@ function MoveToThePackage(params) {
   if(params.nodes.length <= 0 )
     return;
 
-  new_url=allNodes[params.nodes[0]].label+".php";
+  new_url=allNodes[params.nodes[0]].label+".html";
 
   window.location.href=new_url;
 }

diff --git a/dep_graph/dep_graph_full.js b/dep_graph/dep_graph_full.js
index 1c02515..d1d1f7b 100644 (file)
--- a/dep_graph/dep_graph_full.js
+++ b/dep_graph/dep_graph_full.js
@@ -8,7 +8,7 @@ function MoveToThePackage(params) {
   if(params.nodes.length <= 0 )
     return;
 
-  new_url=allNodes[params.nodes[0]].label+"_full_edges.php";
+  new_url=allNodes[params.nodes[0]].label+"_full_edges.html";
 
   window.location.href=new_url;
 }