(function() { (function(window, $) { return $(function() { var base, input, resultList, search, searchIndex; resultList = $('#search-results'); searchIndex = window.searchIndex; input = $('#search-query'); base = $("script[src$='index.js']").attr('src').replace(/^([^j]*)js.*/, function(a, b) { return b; }); search = function() { var re, res, val; val = input.val(); if (val.length > 0) { re = new RegExp(val, 'gi'); res = $.grep(searchIndex, function(a, b) { return re.test(a.method); }); } else { res = searchIndex; } if (res && res.length > 0) { resultList.html(res.map(function(a) { var method; method = a.method.replace(re, function(m) { return "" + m + ""; }); return "