ok merge done by samuel

extras_explorerjs.js

@@ -248,6 +248,10 @@ function getTopPapers(type){
             	var arraydata = $.parseJSON(data)
             	var output = "<ul style='padding: 0px; margin: 13px;'>"
             	for(var i in arraydata) {
+					var path = window.location.pathname.match(/\/project\/(.*)\/corpus\/(.*)\//);
+					var projectid = path[1]
+					var corpusid  = path[2]
+
             		var pub = arraydata[i]
             		var gquery = "http://www.google.com/#q="+pub["title"].replace(" "+"+")