mirror of
https://github.com/php/web-gtk.git
synced 2026-03-24 07:12:19 +01:00
322 lines
9.4 KiB
PHP
322 lines
9.4 KiB
PHP
<?php
|
|
/* $Id$ */
|
|
|
|
# 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 ' | ';
|
|
}
|
|
return sprintf('<span style="color: %s"> | </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="alternate" type="application/rss+xml" title="PHP-GTK News" href="http://gtk.php.net/news.rss"/>
|
|
<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> <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('/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"');
|
|
}
|
|
?> <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'); ?> <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"');
|
|
?> <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')); ?>
|
|
<?php print_link('/copyright.php', 'Copyright © 2001-' . date('Y') . ' The PHP Group'); ?><br />
|
|
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
|
|
*/
|
|
?>
|