Update JavascriptTools.html