| Index: chrome/common/extensions/docs/js/bootstrap.js
|
| diff --git a/chrome/common/extensions/docs/js/bootstrap.js b/chrome/common/extensions/docs/js/bootstrap.js
|
| new file mode 100755
|
| index 0000000000000000000000000000000000000000..5282030de944b2098e62af0949345e2ca9aa3f71
|
| --- /dev/null
|
| +++ b/chrome/common/extensions/docs/js/bootstrap.js
|
| @@ -0,0 +1,11 @@
|
| +window.onload = function() {
|
| + // Regenerate page if we are passed the "?regenerate" search param
|
| + // or if the user-agent is chrome AND the document is being served
|
| + // from the file:/// scheme.
|
| + if (window.location.search == "?regenerate" ||
|
| + navigator.userAgent.indexOf("Chrome") > -1) {
|
| + // Hide body content initially to minimize flashing.
|
| + document.getElementsByTagName("body")[0].className = "hidden";
|
| + window.renderPage();
|
| + }
|
| +}
|
|
|