Dynamically generate a heading for Extension Docs API pages

chrome/common/extensions/docs/templates/json/api_availabilities.json

Index: chrome/common/extensions/docs/templates/json/api_availabilities.json
diff --git a/chrome/common/extensions/docs/templates/json/api_availabilities.json b/chrome/common/extensions/docs/templates/json/api_availabilities.json
new file mode 100644
index 0000000000000000000000000000000000000000..a2a7c1744e464e6b18986c89f01dd10b470f9864
--- /dev/null
+++ b/chrome/common/extensions/docs/templates/json/api_availabilities.json
@@ -0,0 +1,8 @@
+{
+  "devtools.inspectedWindow": "18",
+  "devtools.panels": "18",
+  "devtools.network": "18",
+  "input.ime": "18",
+  "notifications": "dev",
+  "webstore": "15"

[epeterson, 2013/05/13 02:38:10]

These APIs are here because they are strange.

devtools APIs are in a subdirectory, which is unique. This may need to be
handled programatically though since there are other experimental devtools that
will probably be released.

input.ime's name is treated differently from other APIs (I think its name is
unix_style instead of camelCase like the rest of the APIs)

webstore previously had a manual API of 15, so I kept it. But, I think only
"private_webstore" is available that early in the extension_api.json files.

notifications has a special note about actually being on dev, although it is
listed as being stable so that a few of its methods can be used on stable (I
mentioned this note in a comment on patch set 10). The problem with this is that
it will need to be manually removed from this file when it goes stable.

+}