REGRESSION (r241988): Switching tabs is slow
[WebKit-https.git] / Tools / WebKitLauncher / start.html
1 <html>
2     <head>
3         <title>Loading WebKit...</title>
4         <meta http-equiv="refresh" content="1;URL=https://webkit.org/nightly/start/">
5         <script type="text/javascript">
6             var script = document.createElement('script');
7             script.src = "x-webkit-launcher:webkit-version-information.js";
8             script.onload = function() {
9                 if (webKitBranch && webKitRevision)
10                     document.location = "https://webkit.org/nightly/start/" + webKitBranch + "/" + webKitRevision;
11             }
12             document.documentElement.appendChild(script);
13         </script>
14     </head>
15     <body>
16     </body>
17 </html>