mirror of
https://github.com/mozilla/gecko-dev.git
synced 2024-11-12 14:37:50 +00:00
36cd1dcd38
--HG-- rename : browser/themes/linux/aboutSocialError.css => browser/themes/linux/aboutTabCrashed.css rename : browser/themes/osx/aboutSocialError.css => browser/themes/osx/aboutTabCrashed.css rename : browser/themes/windows/aboutSocialError.css => browser/themes/windows/aboutTabCrashed.css
57 lines
1.6 KiB
HTML
57 lines
1.6 KiB
HTML
<?xml version="1.0" encoding="UTF-8"?>
|
|
|
|
<!-- This Source Code Form is subject to the terms of the Mozilla Public
|
|
- License, v. 2.0. If a copy of the MPL was not distributed with this
|
|
- file, You can obtain one at http://mozilla.org/MPL/2.0/. -->
|
|
|
|
<!DOCTYPE html [
|
|
<!ENTITY % htmlDTD
|
|
PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
|
|
"DTD/xhtml1-strict.dtd">
|
|
%htmlDTD;
|
|
<!ENTITY % globalDTD
|
|
SYSTEM "chrome://global/locale/global.dtd">
|
|
%globalDTD;
|
|
<!ENTITY % browserDTD
|
|
SYSTEM "chrome://browser/locale/browser.dtd">
|
|
%browserDTD;
|
|
|
|
]>
|
|
|
|
<html xmlns="http://www.w3.org/1999/xhtml">
|
|
<head>
|
|
<link rel="stylesheet" type="text/css" media="all"
|
|
href="chrome://browser/skin/aboutTabCrashed.css"/>
|
|
</head>
|
|
|
|
<body dir="&locale.dir;">
|
|
<div id="error-box">
|
|
<p id="main-error-msg">&tabCrashed.header;</p>
|
|
<p id="helper-error-msg">&tabCrashed.message;</p>
|
|
</div>
|
|
|
|
<div id="button-box">
|
|
<button id="tryAgain">&tabCrashed.tryAgain;</button>
|
|
</div>
|
|
</body>
|
|
|
|
<script type="text/javascript;version=1.8"><![CDATA[
|
|
function parseQueryString() {
|
|
let url = document.documentURI;
|
|
let queryString = url.replace(/^about:tabcrashed?e=tabcrashed/, "");
|
|
|
|
let urlMatch = queryString.match(/u=([^&]+)/);
|
|
let url = urlMatch && urlMatch[1] ? decodeURIComponent(urlMatch[1]) : "";
|
|
|
|
let titleMatch = queryString.match(/d=([^&]*)/);
|
|
title = titleMatch && titleMatch[1] ? decodeURIComponent(titleMatch[1]) : "";
|
|
|
|
return [url, title];
|
|
}
|
|
|
|
let [url, title] = parseQueryString();
|
|
document.title = title;
|
|
document.getElementById("tryAgain").setAttribute("url", url);
|
|
]]></script>
|
|
</html>
|