|
@@ -3,6 +3,11 @@
|
|
|
|
|
|
var doc_version = document.querySelector('meta[name="doc_version"]').getAttribute('content');
|
|
|
|
|
|
+ // If the current page uses tabs, we will need this small patch
|
|
|
+ if (typeof(docsearch) == 'undefined') {
|
|
|
+ docsearch = exports['docsearch'];
|
|
|
+ }
|
|
|
+
|
|
|
// Initialize the Algolia search widget
|
|
|
docsearch({
|
|
|
apiKey: 'c39cb614363a2a156811478bc2d0573b',
|