-
Notifications
You must be signed in to change notification settings - Fork 15
/
404.html
72 lines (63 loc) · 2.48 KB
/
404.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
---
permalink: /404.html
---
<!DOCTYPE html>
<html>
<head>
<title>PMD: 404 - Not Found</title>
<meta http-equiv="content-type" content="text/xhtml;charset=UTF-8" />
</head>
<body>
<script type="text/javascript">
(function() {
// Redirect to https://docs.pmd-code.org/* by default
var url = new URL(location.href);
url.host = 'docs.pmd-code.org';
url.protocol = 'https';
url.port = 443;
var newUrl = undefined;
if (url.pathname.startsWith('/latest')) {
newUrl = url.href;
}
// new style doc path, e.g. /pmd-doc-6.55.0
else if (url.pathname.startsWith('/pmd-doc-')) {
newUrl = url.href;
}
else if (url.pathname.startsWith('/pmd-')) {
var versionNumberPattern = new RegExp(/^\/pmd-(\d+)\.(\d+)\.(\d+[^\/]*)(\/?.*)/i);
var version = url.pathname.match(versionNumberPattern);
if (version) {
// pmd 5 and pmd 6 until including 6.20.0 are hosted on pmd.sourceforge.io
if (version[1] == '5' || version[1] == '6' && version[2] < 21) {
url.host = 'pmd.sourceforge.io';
}
// newer versions are on docs.pmd-code.org, but with "-doc-" in the path, e.g. /pmd-doc-6.55.0
else {
url.pathname = '/pmd-doc-' + version[1] + '.' + version[2] + '.' + version[3] + version[4];
}
}
newUrl = url.href;
}
if (newUrl) {
document.write("Redirecting to <a href='" + newUrl + "'>" + newUrl + "</a>...");
location.href = newUrl;
}
})();
</script>
<h1>404 - Not Found</h1>
<p>Sorry! The requested page doesn't seem to exist.</p>
<p>Here is what you can do:</p>
<ul>
<li>Start over at the homepage: <a href="https://pmd.github.io">https://pmd.github.io</a></li>
<li>Check out available documentation at: <a href="https://docs.pmd-code.org">https://docs.pmd-code.org</a></li>
<li>Email us and let us know what you were looking for: <a href="mailto: [email protected]">[email protected]</a></li>
<li>Create a new issue on <a href="https://github.com/pmd/pmd/issues">GitHub</a>.</li>
<li>Ask us in our <a href="https://github.com/pmd/pmd/discussions">discussion forum</a>.</li>
<li>Try searching <a href="https://www.google.com/search?q=site:pmd.github.io">pmd.github.io</a>
or <a href="https://www.google.com/search?q=site:docs.pmd-code.org">docs.pmd-code.org</a>
or <a href="https://www.google.com/search?q=site:pmd.sourceforge.io">pmd.sourceforge.io</a> with google.</li>
</ul>
<hr />
<a href="https://pmd.github.io"><img src="img/pmd-logo-70px.png" alt="PMD" /></a>
</body>
</html>