portal_query.js

// 現在の表示範囲内ポータル群を名前で検索する (部分一致)
javascript:(function(){const q=prompt("portal query:");if(typeof q==="string"){for(const guid in portals){const data=portals[guid].options.data;if(typeof data.title==="string"&&0<=data.title.indexOf(q)){const ll=new String(data.latE6/1000000)+","+new String(data.lngE6/1000000);const url=new URL("https://intel.ingress.com/intel");url.searchParams.set("ll",ll);url.searchParams.set("pll",ll);url.searchParams.set("z","18");console.log(url.toString(),guid,data.title);}}}})();