website/index.php at master · texttest/website · GitHub

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
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<?php
include 'settings.php';
include 'functions.php';


//Used for testing internal links (scripts/check_php_links.py)
if (isset ($argv))
	for ($i=1;$i<count($argv);$i++)
	{
		print "-----------------INTERNAL-TESTNING-----------------------\n";
		$it = split("=",$argv[$i]);

                if (count($it) == 2)
                  {
                    $_GET[$it[0]] = $it[1];
                  }

	}

?>

<html>
 <script language="javascript" type="text/javascript" src="javascript.js"></script>
 <head>
  <title> Texttest.org </title>
    <link rel=STYLESHEET href="stylefile.css" TYPE="text/css">
    <link href="images/texttest-icon-dynamic.png" type="image/png" rel="icon">
  </head>

  <body background="images/back.png">
   <!-- main table -->
   <table cellspacing=0 align=center  border=0>
    <tr>
     <td colspan=2>
      <?php include 'menu.php'; ?>
     </td>
    </tr>
    <tr>
     <td colspan=2>
      <?php include 'nav.php'; ?>
     </td>
    </tr>
    <tr>
      <td colspan=2>
       <table cellpadding=0 cellspacing=1 bgcolor="#000000">
         <tr>
           <td bgcolor="#FFFFFF">
              <?php
                 if (!(isset($_GET["page"]))) include 'include/main.php';
  		 else
  		 {
  		   $pageFound = false;
                   foreach ($all_releases as $release)
                   {
                     $rel = convertToDocFormat($release);
                     if ($rel == $_GET["page"])
                     {
                  	include 'include/documentation/'.$rel.'.php';
                        $pageFound = true;
                     }
                   }
                   if (! $pageFound)
                   {
		     if ($_GET["page"]=="main")  include_file ('include/main.php');
		     elseif ($_GET["page"]=="news")  include_file('include/news.php');
		     elseif ($_GET["page"]=="download")  include_file('include/download.php');
		     elseif ($_GET["page"]=="develop")  include_file('include/develop.php');
		     elseif ($_GET["page"]=="contact")              include_file('include/contact.php');
		     elseif ($_GET["page"]=="publications")         include_file('include/publications.php');
		     elseif ($_GET["page"]=="siteinfo")             include_file('include/siteinfo.php');
		     elseif ($_GET["page"]=="sitemap")              include_file('include/sitemap.php');
		     elseif ($_GET["page"]=="about")                include_file('include/about.php');
		     elseif ($_GET["page"]=="ui_testing")           include_file('include/ui_testing.php');
                     elseif ($_GET["page"]=="capturemock")          include_file('include/capturemock.php');
                     elseif ($_GET["page"]=="nightjob")             include_file('include/nightjob.php');
		     elseif ($_GET["page"]=="documentation")        include_file('include/documentation.php');
		     else                                           include_404_page();
		   }
		 }
	      ?>
	         <br><br>
	         </td>
         </tr>
        </table>
     </td>
    </tr>
    <tr valign=bottom>
      <td align=left>
  		<div class="Steel"><?php print_last_updated(); ?></div>
  	   <!-- date ("d F Y H:i:s.", getlastmod()); -->
      </td>

      <td align=right>
        <div class="Steel">
           <a href="index.php?page=news">[news]</a>
           <a href="index.php?page=contact">[contact]</a>
           <a href="index.php?page=siteinfo">[site info]</a>
           <a href="index.php?page=sitemap">[sitemap]</a>
        </div>
      </td>
    </tr>
   </table>
   <!-- main table end -->
  </body>
</html>