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
|
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
<title><?php print $title." ".$title2 ?></title>
<link href="/css/style.css" rel="stylesheet" type="text/css" />
</head>
<body>
<?php
list($usec, $sec) = explode(" ", microtime());
$start_time = ((float)$usec + (float)$sec);
include("help.php");
function makeEntry($name, $visName) {
global $page;
if ($page == $name || ($name == "." && $page == "homepage")) {
?>
<p class="activeMenuitem"><? print $visName ?></p>
<?php
} else {
$url = $name;
if ($page == "homepage") {
$url = $name;
} else {
if (substr($name, 0, 7) == "http://") {
$url = $name;
} else {
$url = "../".$name;
}
}
?>
<p class="menuitem"><a href="<?php print $url ?>"><? print $visName ?></a></p>
<?php
}
}
?>
<table border="0">
<tr>
<td></td>
<td>
<?php if ($page == "homepage") { ?>
<h1><?php print $title ?></h1>
<?php } else { ?>
<h1 id="hplink"><a href="/"><?php print $title ?></a></h1>
<?php } ?>
</td>
<td><h1 style="text-align:left"><?php print $title2 ?></h1></td>
</tr>
<tr>
<td width="88"></td>
<td width="201" valign="top">
<div id="menu">
<?php makeEntry(".", "Homepage"); ?>
<?php makeEntry("screenshots", "Screenshots"); ?>
<?php makeEntry("demo", "Demo"); ?>
<?php makeEntry("languages", "Languages"); ?>
<?php makeEntry("usage", "Usage"); ?>
<?php makeEntry("development", "Development"); ?>
<?php makeEntry("links", "Links & Resources"); ?>
<?php makeEntry("http://languagetool.wikidot.com/", "Wiki"); ?>
<br/><br/><br/>
<a href="http://twitter.com/languagetoolorg"><img border="0" style="margin-right:5px" src="/images/twitter_link16x16.png"/>Follow us on twitter</a>
</div>
</td>
<td class="content">
<!-- MAIN TEXT -->
|
