emacs/nxhtml/tests/in/el-070722-index.php

   1 <?php
   2 /* We must use this header to be correct and for the css validator to
   3    find our stylesheet without us having to provide a fully qualified
   4    path (address) to it. */
   5 header("Content-type:application/xhtml+xml; charset=utf-8");
   6 echo '<'.'?xml version="1.0" encoding="utf-8"?'.'>';
   7 ?>
   8 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
   9           "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
  10 <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
  11   <head>
  12     <title>Lab 2 - Layout Control - Task 2 - XHTML/CSS version</title>
  13     <link rel="stylesheet" type="text/css" href="stylesheet.css"/>
  14   </head>
  15   <body>
  16     <div id="container">
  17       <div id="header">Top area</div>
  18       <div id="left-menu">
  19         <ul>
  20           <li><a href="index.php">Home</a></li>
  21           <li><a href="index.php?page=a">First Main Page</a></li>
  22           <li><a href="index.php?page=b">Second Main Page</a></li>
  23         </ul>
  24       </div>
  25       <div id="main">
  26         <?php
  27           if (isset($_GET["page"])) {
  28             $thepage = $_GET['page'];
  29
  30             if ($thepage != 'a' && $thepage != 'b') {
  31               print('You hacker you!');
  32             }
  33             else {
  34               require('main-div-'.$thepage.'.html');
  35             }
  36           }
  37           else {
  38             require('main-div-a.html');
  39           }
  40         ?>
  41       </div>
  42       <div id="right-menu">Right area</div>
  43       <div id="footer">
  44         <p>
  45           <a href="http://validator.w3.org/check?uri=referer">
  46             <img src="valid-xhtml10.png" alt="Valid XHTML 1.0 Strict"></img>
  47           </a>
  48           <a href="http://jigsaw.w3.org/css-validator/check?uri=referer">
  49             <img src="vcss.png" alt="Valid CSS!"></img>
  50           </a>
  51         </p>
  52       </div>
  53     </div>
  54   </body>
  55 </html>