themes/default/templates/redirect.tmpl

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