themes/default/templates/redirect.tmpl

   1 <?php
   2 // $Id$
   3 /*
   4  * Redirect output.
   5  */
   6 echo "<","?xml version=\"1.0\" encoding=\"", $charset, "\"?", ">\n";
   7 ?><!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
   8   "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
   9 <html xmlns="http://www.w3.org/1999/xhtml">
  10 <head>
  11 <meta http-equiv="Content-Type" content="text/html; charset=<?php echo CHARSET?>" />
  12 <meta name="robots" content="noindex, nofollow" />
  13 <meta name="generator" content="PhpWiki" />
  14 <meta name="PHPWIKI_VERSION" content="<?php echo PHPWIKI_VERSION?>" />
  15 <base href="<?php echo PHPWIKI_BASE_URL?>" />
  16 <?php echo $WikiTheme->getCSS() ?>
  17 <title><?php echo WIKI_NAME . ' - ' . _("Redirect")?></title>
  18
  19 <!-- Sneaky tricks to try to get browser to "redirect" -->
  20 <meta http-equiv="Refresh" content="2;url=<?php echo $REDIRECT_URL?>"/>
  21 <script type="text/javascript"><!--
  22   function redirect(url) {
  23     if (typeof location.replace == 'function')
  24       location.replace(url);
  25     else if (typeof location.assign == 'function')
  26       location.assign(url);
  27     else if (self.location.href)
  28       self.location.href = url;
  29     else
  30       window.location = url;
  31   }
  32 --></script>
  33 </head>
  34 <body>
  35
  36 <script type="text/javascript"><!--
  37 redirect("<?php echo new RawXML(addslashes($REDIRECT_URL))?>");
  38 --></script>
  39
  40 <h1><?php echo _("Redirect")?></h1>
  41 <p class="redirect-message">
  42   <?php echo fmt("Your browser should have redirected you to %s.",
  43           HTML::a(array('href' => $REDIRECT_URL), $REDIRECT_URL)) ?>
  44 </p>
  45 </body>
  46 </html>