Deploy website version based on aa7cd4f5af

js/codetabs.js

@@ -1,31 +0,0 @@
-/**
- * Copyright (c) 2017-present, Facebook, Inc.
- *
- * This source code is licensed under the MIT license found in the
- * LICENSE file in the root directory of this source tree.
- */
-// Turn off ESLint for this file because it's sent down to users as-is.
-
-/* eslint-disable */
-window.addEventListener('load', function() {
-  // add event listener for all tab
-  document.querySelectorAll('.nav-link').forEach(function(el) {
-    el.addEventListener('click', function(e) {
-      var groupId = e.target.getAttribute('data-group');
-      document
-        .querySelectorAll('.nav-link[data-group='.concat(groupId, ']'))
-        .forEach(function(el) {
-          el.classList.remove('active');
-        });
-      document
-        .querySelectorAll('.tab-pane[data-group='.concat(groupId, ']'))
-        .forEach(function(el) {
-          el.classList.remove('active');
-        });
-      e.target.classList.add('active');
-      document
-        .querySelector('#'.concat(e.target.getAttribute('data-tab')))
-        .classList.add('active');
-    });
-  });
-});

js/scrollSpy.js

@@ -1,83 +0,0 @@
-/**
- * Copyright (c) 2017-present, Facebook, Inc.
- *
- * This source code is licensed under the MIT license found in the
- * LICENSE file in the root directory of this source tree.
- */
-
-/* eslint-disable */
-(function scrollSpy() {
-  var OFFSET = 10;
-  var timer;
-  var headingsCache;
-
-  var findHeadings = function findHeadings() {
-    return headingsCache || document.querySelectorAll('.toc-headings > li > a');
-  };
-
-  var onScroll = function onScroll() {
-    if (timer) {
-      // throttle
-      return;
-    }
-
-    timer = setTimeout(function() {
-      timer = null;
-      var activeNavFound = false;
-      var headings = findHeadings(); // toc nav anchors
-
-      /**
-       * On every call, try to find header right after  <-- next header
-       * the one whose content is on the current screen <-- highlight this
-       */
-
-      for (var i = 0; i < headings.length; i++) {
-        // headings[i] is current element
-        // if an element is already active, then current element is not active
-        // if no element is already active, then current element is active
-        var currNavActive = !activeNavFound;
-        /**
-         * Enter the following check up only when an active nav header is not yet found
-         * Then, check the bounding rectangle of the next header
-         * The headers that are scrolled passed will have negative bounding rect top
-         * So the first one with positive bounding rect top will be the nearest next header
-         */
-
-        if (currNavActive && i < headings.length - 1) {
-          var heading = headings[i + 1];
-          var next = decodeURIComponent(heading.href.split('#')[1]);
-          var nextHeader = document.getElementById(next);
-
-          if (nextHeader) {
-            var top = nextHeader.getBoundingClientRect().top;
-            currNavActive = top > OFFSET;
-          } else {
-            console.error('Can not find header element', {
-              id: next,
-              heading: heading,
-            });
-          }
-        }
-        /**
-         * Stop searching once a first such header is found,
-         * this makes sure the highlighted header is the most current one
-         */
-
-        if (currNavActive) {
-          activeNavFound = true;
-          headings[i].classList.add('active');
-        } else {
-          headings[i].classList.remove('active');
-        }
-      }
-    }, 100);
-  };
-
-  document.addEventListener('scroll', onScroll);
-  document.addEventListener('resize', onScroll);
-  document.addEventListener('DOMContentLoaded', function() {
-    // Cache the headings once the page has fully loaded.
-    headingsCache = findHeadings();
-    onScroll();
-  });
-})();