| 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. -->
|
|
|