Update docs.js

This commit is contained in:
Ivan Blinkov 2020-04-04 08:30:40 +03:00 committed by GitHub
parent 9b590a1edf
commit e32c761e59
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -87,8 +87,7 @@ $(document).ready(function () {
hitsPerPage: 25, hitsPerPage: 25,
'facetFilters': [ 'facetFilters': [
'lang:' + $('html').attr('lang'), 'lang:' + $('html').attr('lang'),
'version:' + $('html').attr('data-version'), 'version:' + $('html').attr('data-version')
'single-page:' + $('html').attr('data-single-page')
] ]
}, },
debug: false debug: false