| Index: chrome/common/extensions/docs/js/api_page_generator.js
|
| diff --git a/chrome/common/extensions/docs/js/api_page_generator.js b/chrome/common/extensions/docs/js/api_page_generator.js
|
| index c1adb115a554aedfdbe35dda9ffa5fcb73290788..a009042312e4ccc004977901766f318f095aab04 100644
|
| --- a/chrome/common/extensions/docs/js/api_page_generator.js
|
| +++ b/chrome/common/extensions/docs/js/api_page_generator.js
|
| @@ -299,6 +299,14 @@ function getTypeRef(type) {
|
| return type["$ref"];
|
| }
|
|
|
| +function getEnumValues(enumList, type) {
|
| + if (type === "string") {
|
| + enumList = enumList.map(function(e) { return '"' + e + '"'});
|
| + }
|
| + var retval = enumList.join(', ');
|
| + return "[" + retval + "]";
|
| +}
|
| +
|
| function showPageTOC() {
|
| return module || getDataFromPageHTML('pageData-showTOC');
|
| }
|
|
|