Welcome to mirror list, hosted at ThFree Co, Russian Federation.

gitlab.com/gitlab-org/gitlab-docs.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAchilleas Pipinellis <axil@gitlab.com>2018-03-26 14:55:45 +0300
committerAchilleas Pipinellis <axil@gitlab.com>2018-03-26 14:55:45 +0300
commitcb51d01d94d75d70339562a7313e58279384f36e (patch)
tree4878086b6f42e597d1282fafabc2c4a4630784ff /layouts
parent08af03db123a320727e671a98454b26834a60c3c (diff)
parentc020ca8b87baa2802c7a55cf9b465ae4655bd09e (diff)
Merge branch 'master' into 'fix-header-mobile'
# Conflicts: # content/assets/stylesheets/stylesheet.scss
Diffstat (limited to 'layouts')
-rw-r--r--layouts/instantsearch.html57
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>