From 88278eaa8a0ed15c0e6d19f7d8aaeca4a3a676e2 Mon Sep 17 00:00:00 2001 From: Junghyun Kim Date: Thu, 6 Jul 2017 19:13:57 +0900 Subject: [PATCH] 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 --- dep_graph/dep_graph.js | 2 +- dep_graph/dep_graph_full.js | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/dep_graph/dep_graph.js b/dep_graph/dep_graph.js index 1002fab..34de48e 100644 --- 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 --- 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; } -- 2.7.4