Index: chrome/common/extensions/docs/management.html |
diff --git a/chrome/common/extensions/docs/management.html b/chrome/common/extensions/docs/management.html |
index 07202438272a852ef316f6106017a86eec05b043..5bd861eb2ff4f7540630074c28f2602268d40d80 100644 |
--- a/chrome/common/extensions/docs/management.html |
+++ b/chrome/common/extensions/docs/management.html |
@@ -13,6 +13,8 @@ |
<link href="css/print.css" rel="stylesheet" type="text/css" media="print"> |
<script type="text/javascript" src="../../../third_party/jstemplate/jstemplate_compiled.js"> |
</script> |
+ <script type="text/javascript" src="../../../../third_party/json_minify/minify-sans-regexp.js"> |
+ </script> |
<script type="text/javascript" src="js/api_page_generator.js"></script> |
<script type="text/javascript" src="js/bootstrap.js"></script> |
<script type="text/javascript" src="js/sidebar.js"></script> |