OSInet
/
phpgtk__legacy


			
				
					
						
						
							123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324
							<?php
/* $Id: layout.php,v 1.64 2006/10/02 05:36:52 andrei Exp $ */

# spacer()
# print a IMG tag for a sized spacer GIF
#
function spacer($width = 1, $height = 1, $align = false, $extras = false) {
    printf('<img src="/gifs/spacer.gif" style="width:%d; height:%d;" border="0" alt="" %s%s />',
        $width,
        $height,
        ($align ? 'align="'.$align.'" ' : ''),
        ($extras ? $extras : '')
    );
}

# resize_image()
# tag the output of make_image() and resize it manually
#
function resize_image($img, $width = 1, $height = 1) {
    $str = preg_replace('/width=\"([0-9]+?)\"/i', '', $img);
    $str = preg_replace('/height=\"([0-9]+?)\"/i', '', $str);
    $str = substr($str, 0, -1) . sprintf(' style="height:%d; width:%d;">', $height, $width);
    return $str;
}

# make_image()
# return an IMG tag for a given file (relative to the images dir)
#
function make_image($file, $alt = false, $align = false, $extras = false, $dir = false, $border = 0) {
    if (!$dir) {
        $dir = "/gifs";
    }

    if ($size = @getimagesize($_SERVER['DOCUMENT_ROOT'].$dir.'/'.$file)) {
        $image = sprintf('<img src="%s/%s" border="%d" %s alt="%s" %s%s />',
            $dir,
            $file,
            $border,
            $size[3],
            ($alt    ? $alt : ''),
            ($align  ? ' align="'.$align.'"'  : ''),
            ($extras ? ' '.$extras            : '')
        );
    } else {
        $image = sprintf('<img src="%s/%s" border="%d" alt="%s" %s%s />',
            $dir,
            $file,
            $border,
            ($alt    ? $alt : ''),
            ($align  ? ' align="'.$align.'"'  : ''),
            ($extras ? ' '.$extras            : '')
        );
    }
    return $image;
}

# print_image()
# print an IMG tag for a given file
#
function print_image($file, $alt = false, $align = false, $extras = false, $dir = false, $border = 0) {
    print make_image($file, $alt, $align, $extras, $dir);
}

# make_submit()
#  - make a submit button image
#
function make_submit($file, $alt = false, $align = false, $extras = false, $dir = false, $border = 0) {
    if (!$dir) {
        $dir = "/gifs";
    }

    $return = make_image($file, $alt, $align, $extras, $dir, $border);
    $return = str_replace(' border="' . $border . '"', '', '<input type="image"' . substr($return, 4));

    return $return;
}

# delim()
# print a pipe delimiter
#
function delim($color = false) {
    if (!$color) {
        return '&nbsp;|&nbsp;';
    }
    return sprintf('<span style="color: %s">&nbsp;|&nbsp;</span>', $color);
}

# hdelim()
# print a horizontal delimiter (just a wide line);
#
function hdelim($color = '#000000') {
    echo '<hr />';
}

# make_link()
# return a hyperlink to something, within the site
#
function make_link($url, $linktext=false, $target=false, $extras=false) {
    return sprintf("<a href=\"%s\"%s%s>%s</a>",
        $url,
        ($target ? ' target="'.$target.'"' : ''),
        ($extras ? ' '.$extras : ''),
        ($linktext ? $linktext : $url)
    );
}

# print_link()
# echo a hyperlink to something, within the site
#
function print_link($url, $linktext = false, $target = false, $extras = false) {
    echo make_link($url, $linktext, $target, $extras);
}

# make_email()
# make an e-mail hyperlink
# 
function make_email($email, $linktext = false) {
    return sprintf("<a href=\"mailto:%s\">%s</a>",
        $email,
        ($linktext ? $linktext : $email)
    );
}

# print_email()
# echo an e-mail hyperlink
# 
function print_email($email, $linktext = false) {
    echo make_email($email, $linktext);
}

# commonheader()
#
#
function commonHeader($title = false, $padding = true) {
	global $SIDEBAR_DATA;
	ob_start();
?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
 "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
<head>
 <meta content="text/html; charset=UTF-8" http-equiv="Content-Type" />
 <title>PHP-GTK<?php if ($title) { echo ' : '.$title; } ?></title>
 <link rel="stylesheet" type="text/css" href="/style.css" />
 <link rel="stylesheet" type="text/css" href="/style-highlight.css" />
 <link rel="shortcut icon" href="/gifs/favicon.ico" />
</head>

<body bgcolor="#FFFFFF" text="#000000" link="#000099" alink="#0000FF" vlink="#000099">
 <a name="TOP"></a>
 <table border="0" cellspacing="0" cellpadding="0" width="100%" style="height:48px;">
  <tr bgcolor="#0099CC">
   <td align="left" rowspan="2">
    <?php print_link('/', make_image('php-gtk.gif', 'PHP-GTK', false, 'vspace="2" hspace="2"')); ?><br />
   </td>
   <td align="right" valign="top" style="white-space: nowrap">
    <font color="#FFFFFF">
     <b><?php echo strftime("%A, %B %d, %Y"); ?></b>&nbsp;<br />
    </font>
   </td>
  </tr>
  <tr bgcolor="#0099CC">
   <td align="right" valign="bottom" style="white-space: nowrap">
    <?php
     print_link('/download.php', 'download', false, 'class="menuBlack"');
     echo delim();
     print_link('/docs.php', 'documentation', false, 'class="menuBlack"');
     echo delim();
     /*
     print_link('/wiki/Main/HomePage', 'wiki', false, 'class="menuBlack"');
     echo delim();
     */
     print_link('/apps/', 'applications', false, 'class="menuBlack"');
     echo delim();
     print_link('/faq.php', 'faq', false, 'class="menuBlack"');
     echo delim();
     print_link('/changelog.php', 'changelog', false, 'class="menuBlack"');
     echo delim();
     print_link('/resources.php', 'resources', false, 'class="menuBlack"');
     if (isset($_COOKIE['PHP-GTK'])) {
         echo delim();
         print_link('/admin-logout.php', 'logout', false, 'class="menuBlack"');
     }
    ?>&nbsp;<br />
    <?php spacer(2, 2); ?><br />
   </td>
  </tr>
  <tr bgcolor="#000033"><td colspan="2"><?php spacer(1, 1); ?><br /></td></tr>
  <tr bgcolor="#006699">
   <td align="right" valign="top" colspan="2" style="white-space: nowrap">
    <form method="post" action="/search.php" style="display:inline">
      <font color="#FFFFFF">
       <small>search for</small>
       <input class="small" type="text" name="pattern" value="<?php if (isset($_GET['prevsearch'])) echo htmlentities($_GET['prevsearch']); ?>" size="30" />
       <small>in the</small>
       <select name="show" class="small">
<?php
$options = array(
    'manual' => 'PHP-GTK 2 manual',
    'manual1' => 'PHP-GTK 1 manual',
    'whole-site' => 'whole site',
    'php-gtk-general-list' => 'general mailing list',
    'php-gtk-dev-list' => 'development mailing list',
    'php-gtk-doc-list' => 'documentation mailing list'
);
$uris = explode('/', $_SERVER['REQUEST_URI']);
$dir = $uris[1];
foreach ($options as $value => $title) {
    $sel = ($value == substr($dir, 0, strlen($value))) ? ' selected="selected"' : '';
    echo '<option value="' . $value . '"' . $sel . '>' . $title . '</option>' . "\n";
}
?>
       </select>
      <?php echo make_submit('small_submit_white.gif', 'search', 'bottom'); ?>&nbsp;<br />
     </font>
    </form>
   </td>
  </tr>
  <tr bgcolor="#000033"><td colspan="2"><?php spacer(1, 1) ;?><br /></td></tr>
 </table>

 <table border="0" cellpadding="0" cellspacing="0" width="100%">
  <tr valign="top">
   <?php if (isset($SIDEBAR_DATA)): ?>
   <td width="200" bgcolor="#F0F0F0">
    <table width="100%" cellpadding="4" cellspacing="0">
     <tr valign="top">
      <td class="sidebar">
       <?php echo $SIDEBAR_DATA; ?>
      </td>
     </tr>
    </table>
   </td>
   <td bgcolor="#CCCCCC" style="background-image:url(/gifs/checkerboard.gif)"><?php spacer(1, 1); ?><br /></td>
    <?php endif; ?>
   <td>
    <table width="100%" cellpadding="<?php if ($padding) { print("10"); } else { print("0"); } ?>" cellspacing="0">
     <tr>
      <td valign="top">
<?php
}

# commonfooter()
#
#
function commonFooter($padding = true) {
    global $RIGHT_SIDEBAR_DATA;

    if ($padding) {
        print("<br />");
    }
?>
      </td>
     </tr>
    </table>
   </td>
   <?php if (isset($RIGHT_SIDEBAR_DATA)): ?>
   <td bgcolor="#CCCCCC" style="background-image: url(/gifs/checkerboard.gif)"><?php spacer(1, 1); ?><br /></td>
   <td width="170" bgcolor="#F0F0F0">
    <table width="100%" cellpadding="4" cellspacing="0">
     <tr valign="top">
      <td class="sidebar">
       <?php echo $RIGHT_SIDEBAR_DATA; ?>
      </td>
     </tr>
    </table>
   </td>
   <?php endif; ?>
  </tr>
 </table>

 <table border="0" cellspacing="0" cellpadding="0" width="100%">
  <tr bgcolor="#000033"><td><?php spacer(1,1);?><br /></td></tr>
  <tr bgcolor="#006699">
   <td align="right" valign="bottom">
    <?php
     //print_link('/source.php?url='.$_SERVER['SCRIPT_NAME'], 'show source', false, 'class="menuWhite"');
     //echo delim();
     print_link('/credits.php', 'credits', false, 'class="menuWhite"');
    ?>&nbsp;<br />
   </td>
  </tr>
  <tr bgcolor="#000033"><td><?php spacer(1,1); ?><br /></td></tr>
 </table>

 <table border="0" cellspacing="0" cellpadding="6" width="100%">
  <tr valign="top" bgcolor="#CCCCCC">
   <td>
    <small>
     <?php print_link('http://www.php.net/', make_image('php-logo.gif', 'PHP', 'left')); ?>
     &nbsp;<?php print_link('/copyright.php', 'Copyright &copy; 2001-' . date('Y') . ' The PHP Group'); ?><br />
     &nbsp;All rights reserved.<br />
    </small>
   </td>
   <td align="right">
    <small>
     Last updated: <?php echo strftime("%c %Z", getlastmod()); ?><br />
    </small>
    <br />
   </td>
  </tr>
 </table>
</body>
</html>
<?php
}

# stretchPage()
#
#

function stretchPage($pixels) {
	$div = "<div style = 'margin: ".$pixels."%'>";
	return $div;
}

/*
 * Local variables:
 * tab-width: 4
 * c-basic-offset: 4
 * End:
 * vim: expandtab sw=4 ts=4 fdm=marker softtabstop=4
 */
?>