Index: chrome/common/extensions/docs/template/page_shell.html |
diff --git a/chrome/common/extensions/docs/template/page_shell.html b/chrome/common/extensions/docs/template/page_shell.html |
index faf8a3783e831f36b12bd222e2f928a7e25c41ba..792a9ac906b45d6f737d9ae10ccc398f20301bc3 100755 |
--- a/chrome/common/extensions/docs/template/page_shell.html |
+++ b/chrome/common/extensions/docs/template/page_shell.html |
@@ -25,19 +25,7 @@ |
src="../../../third_party/jstemplate/jstemplate_compiled.js"> |
</script> |
<script type="text/javascript" src="js/api_page_generator.js"></script> |
- <script> |
-// Re-render the page if the user-agent is chrome and it is being served as |
-// a file:/// scheme. This allows both the initial render to static as well |
-// as dynamic re-rendering for developers/doc-writers working on local changes. |
-window.onload = function() { |
- var chrome = navigator.userAgent.indexOf("Chrome") > -1; |
- var fileScheme = location.protocol == "file:"; |
- var regenerate = chrome && fileScheme; |
- //if (regenerate) { |
- window.renderPage(); |
- //} |
-} |
- </script> |
+ <script type="text/javascript" src="js/bootstrap.js"></script> |
</head> |
<!-- <body> content is completely generated. Do not edit, as it will be |
and rewritten. --> |