| Index: chrome/renderer/resources/neterror.html
|
| diff --git a/chrome/renderer/resources/neterror.html b/chrome/renderer/resources/neterror.html
|
| index d737e5e93f2e65fd62d6def62e3fe3b288971f78..3533f8456a9db9168d33d431601e6dd4eb93e306 100644
|
| --- a/chrome/renderer/resources/neterror.html
|
| +++ b/chrome/renderer/resources/neterror.html
|
| @@ -162,7 +162,6 @@ button {
|
| margin: 15px;
|
| }
|
| }
|
| -
|
| </style>
|
| </head>
|
|
|
| @@ -197,6 +196,10 @@ function toggleHelpBox() {
|
| }
|
| }
|
|
|
| +function updateForDnsProbe(strings) {
|
| + new_strings = strings;
|
| + jstProcess(new JsEvalContext(strings), document.getElementById('t'));
|
| +}
|
| </script>
|
|
|
| <body id="t">
|
|
|