function myheader()
{
-echo '<' . '?xml version="1.0" encoding="' . $langs[$lang]["charset"] .'"?' . '>';
+echo '<' . '?xml version="1.0" encoding="' . _("ISO-8859-1") .'"?' . '>';
echo '<' . '?xml-stylesheet href="#internalStyle" type="text/css"?' . '>';
?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<title>PLD Build Logs</title>
- <meta http-equiv="Content-type" content="text/html; charset=<?php echo $langs[$lang]["charset"];?>">
+ <?php echo '<meta http-equiv="Content-type" content="text/html; charset=' . _("ISO-8859-1") .'">';?>
<style type="text/css" id="internalStyle"><!--
A { text-decoration: none; }
A:hover { text-decoration: underline; }
<!-- ech... niech strace... -->
<a href="mailto:feedback@pld.org.pl"><?=_("to us")?></a>. <?=_("Positive opinions are also")?>
<a href="mailto:feedback@pld.org.pl"><?=_("welcome")?></a> ;)</p>
-<p>Version: $Id: index.php,v 1.34 2002/10/08 07:34:54 ggodlewski Exp $</p>
+<p>Version: $Id: index.php,v 1.35 2002/10/08 08:30:01 wiget Exp $</p>
</td><td width=20%> </td></tr>
</table>
<?php