Extensions Docs Server: Filter APIs UI

chrome/common/extensions/docs/server2/templates/private/footer.html

Index: chrome/common/extensions/docs/server2/templates/private/footer.html
diff --git a/chrome/common/extensions/docs/server2/templates/private/footer.html b/chrome/common/extensions/docs/server2/templates/private/footer.html
index 2776b6276690734baba09b06f13495749c6dc0d3..bb4c2f8b2afa74b90f194d26d3f89bd6e85035d6 100644
--- a/chrome/common/extensions/docs/server2/templates/private/footer.html
+++ b/chrome/common/extensions/docs/server2/templates/private/footer.html
@@ -12,6 +12,7 @@
     <script src="{{static}}/js/branch.js" type="text/javascript"></script>
     <script src="{{static}}/js/sidebar.js" type="text/javascript"></script>
     <script src="{{static}}/js/prettify.js" type="text/javascript"></script>
+    <script src="{{static}}/js/filter.js" type="text/javascript"></script>
     <script>
       (function() {
         // Auto syntax highlight all pre tags.
@@ -55,6 +56,11 @@
       }, true);
     </script>
     <script type="text/javascript">google.load("elements", "1", {packages: "transliteration"});</script>
-    <script>window.bootstrap = { branchInfo: {{*branchInfo}} };</script>
+    <script>
+      window.bootstrap = {
+        api_names: {{*api_list.chrome}}.concat({{*api_list.experimental}}),
+        branchInfo: {{*branchInfo}}
+      };
+    </script>
   </div>
 </div>