doc/rdocs/js/searcher.js in rcmd-1.5.7 vs doc/rdocs/js/searcher.js in rcmd-1.5.8

@@ -50,17 +50,17 @@
   }
 
   /*  ----- Utilities ------  */
   function splitQuery(query) {
     return jQuery.grep(query.split(/(\s+|::?|\(\)?)/), function(string) {
-      return string.match(/\S/)
+      return string.match(/\S/);
     });
   }
 
   function buildRegexps(queries) {
     return jQuery.map(queries, function(query) {
-      return new RegExp(query.replace(/(.)/g, '([$1])([^$1]*?)'), 'i')
+      return new RegExp(query.replace(/(.)/g, '([$1])([^$1]*?)'), 'i');
     });
   }
 
   function buildHilighters(queries) {
     return jQuery.map(queries, function(query) {
@@ -170,9 +170,10 @@
     result.title = info[0];
     result.namespace = info[1];
     result.path = info[2];
     result.params = info[3];
     result.snippet = info[4];
+    result.badge = info[6];
     return result;
   }
 
   /*  ----- Searching ------  */
   function performSearch(data, regexps, queries, highlighters, state) {