diff options
author | Achilleas Pipinellis <axil@gitlab.com> | 2018-03-26 14:55:45 +0300 |
---|---|---|
committer | Achilleas Pipinellis <axil@gitlab.com> | 2018-03-26 14:55:45 +0300 |
commit | cb51d01d94d75d70339562a7313e58279384f36e (patch) | |
tree | 4878086b6f42e597d1282fafabc2c4a4630784ff /layouts | |
parent | 08af03db123a320727e671a98454b26834a60c3c (diff) | |
parent | c020ca8b87baa2802c7a55cf9b465ae4655bd09e (diff) |
Merge branch 'master' into 'fix-header-mobile'
# Conflicts:
# content/assets/stylesheets/stylesheet.scss
Diffstat (limited to 'layouts')
-rw-r--r-- | layouts/instantsearch.html | 57 |
1 files changed, 1 insertions, 56 deletions
diff --git a/layouts/instantsearch.html b/layouts/instantsearch.html index 7d9def6c..76347e10 100644 --- a/layouts/instantsearch.html +++ b/layouts/instantsearch.html @@ -21,64 +21,9 @@ <hr> <div class="clear"></div> </div> + <script type="application/javascript" src="/assets/javascripts/instantsearch.js"></script> <%= render '/footer.*' %> <%= render '/analytics.*' %> <%= render '/https_redirect.*' %> - <script type="text/javascript"> - const search = instantsearch({ - appId: 'BH4D9OD16A', - apiKey: 'ce1690e1421303458a1fcbea0cc4a927', - indexName: 'gitlab', - algoliaOptions: { - // Filter by tags as described in https://github.com/algolia/docsearch-configs/blob/master/configs/gitlab.json - 'filters': "tags:gitlab OR tags:omnibus OR tags:runner", - // Number of results shown in the search dropdown - 'hitsPerPage': 10, - }, - loadingIndicator: true, - urlSync: true - }); - - search.addWidget( - instantsearch.widgets.searchBox({ - container: '#search-input', - reset: true - }) - ); - - search.addWidget( - instantsearch.widgets.refinementList({ - container: '#refinement-list', - attributeName: 'tags', - sortBy: ["name:asc","isRefined"], - templates: { - header: 'Refine your search:' - } - }) - ); - - search.addWidget( - instantsearch.widgets.infiniteHits({ - container: '#hits', - templates: { - item: document.getElementById('hit-template').innerHTML, - empty: "We didn't find any results for the search <em>\"{{query}}\"</em>" - }, - escapeHits: true, - showMoreLabel: "Load more results..." - }) - ); - - search.addWidget( - instantsearch.widgets.stats({ - container: '#stats', - templates: { - body: '<div class="stats">We found {{nbHits}} results, fetched in {{processingTimeMS}}ms.</div>' - } - }) - ); - - search.start(); - </script> </body> </html> |