in site/js/lang-tabs.js [16:22]
$(function() { var languages = ["scala", "java", "python"]; for (var i = 0; i < languages.length; i++) { var lang = languages[i]; $(".lang-tab-" + lang).click(changeLanguage(lang)); } });