Don't depend on DOCUMENTATION_OPTIONS
@@ -38,8 +38,7 @@ function attach_elastic_search_query(data) {
var list_item = $('<li style="display: none;"></li>');
// Creating the result from elements
- var link = doc.link + DOCUMENTATION_OPTIONS.FILE_SUFFIX +
- '?highlight=' + $.urlencode(query);
+ var link = doc.link + '?highlight=' + $.urlencode(query);
var item = $('<a>', {'href': link});
item.html(doc.title);
