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