mirror of
https://github.com/php/web-php.git
synced 2026-04-01 04:02:10 +02:00
0a2dc6de50
resize correctly horizontally on all browsers. Basically just fix the width of the two outside columns and let the center column do it own thing.
366 lines
10 KiB
PHP
366 lines
10 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" 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(' height="%s" width="%s">', $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) {
|
|
global $HTTP_SERVER_VARS;
|
|
if (!$dir) {
|
|
$dir = '/gifs';
|
|
}
|
|
if ($size = @getimagesize($HTTP_SERVER_VARS['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);
|
|
if ($return != "<img>") {
|
|
$return = '<input type="image"'.substr($return,4);
|
|
} else {
|
|
$return = '<input type="submit">';
|
|
}
|
|
return $return;
|
|
}
|
|
|
|
# delim()
|
|
# print a pipe delimiter
|
|
#
|
|
|
|
function delim($color=false) {
|
|
if (!$color) {
|
|
return ' | ';
|
|
}
|
|
return sprintf('<font color="%s"> | </font>', $color );
|
|
}
|
|
|
|
# hdelim()
|
|
# print a horizontal delimiter (just a wide line);
|
|
#
|
|
|
|
function hdelim($color="#000000") {
|
|
if (!$color) {
|
|
return '<hr noshade size="1">';
|
|
}
|
|
return sprintf('<hr noshade size="1" color="%s">', $color );
|
|
}
|
|
|
|
# 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);
|
|
}
|
|
|
|
# download_link()
|
|
# print a link for a downloadable file (including filesize)
|
|
#
|
|
|
|
function download_link($file, $title) {
|
|
global $filesizes, $server;
|
|
|
|
if ($tmp = strrchr($file, "/")) {
|
|
$local_file = substr($tmp, 1, strlen($tmp));
|
|
} else {
|
|
$local_file = "distributions/$file";
|
|
}
|
|
|
|
$size = @filesize($local_file)/1024;
|
|
//echo("<!-- file=$file localfile=$local_file size-$size -->\n");
|
|
|
|
print_link("http://www.php.net/do_download.php?download_file=" . $file . "&source_site=$server", $title);
|
|
|
|
if (!$size && isset($filesizes[$local_file])) { $size = $filesizes[$local_file]; }
|
|
if ($size) { echo " [" . number_format($size, 0, ".", ",") . "Kb]"; }
|
|
}
|
|
|
|
$enclosed = 0;
|
|
|
|
# commonheader()
|
|
#
|
|
#
|
|
|
|
function commonHeader($title="",$dont_enclose=0,$headers_gone=0) {
|
|
global $MYSITE, $enclosed;
|
|
global $SIDEBAR_DATA, $prevsearch;
|
|
|
|
?><!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
|
|
<html>
|
|
<head>
|
|
<title>PHP<?php if ($title) echo ": $title";?></title>
|
|
<link rel="stylesheet" href="/style.css">
|
|
</head>
|
|
|
|
<body topmargin="0" leftmargin="0" marginheight="0" marginwidth="0"
|
|
bgcolor="#ffffff" text="#000000" link="#000099" alink="#0000ff"
|
|
vlink="#000099"><a name="TOP"></a>
|
|
<table border="0" cellspacing="0" cellpadding="0" height="48" width="100%">
|
|
<tr bgcolor="#9999cc">
|
|
<td align="middle" rowspan="2" width="120">
|
|
<a href="/"><?php print_image('php_logo.gif', 'PHP'); ?></a><br>
|
|
</td>
|
|
<td align="right" valign="top">
|
|
<font color="#ffffff"><b>
|
|
<url-minder-ignore>
|
|
<?php echo strftime("%A, %B %d, %Y"); ?>
|
|
</url-minder-ignore>
|
|
</b> <br>
|
|
</font>
|
|
</td>
|
|
</tr>
|
|
|
|
<tr bgcolor="#9999cc">
|
|
<td align="right" valign="bottom">
|
|
<?php
|
|
print_link('/downloads.php','downloads',false,'class="small"');
|
|
echo delim();
|
|
print_link('/docs.php', 'documentation', false, 'class="small"');
|
|
echo delim();
|
|
print_link('/FAQ.php', 'faq', false, 'class="small"');
|
|
echo delim();
|
|
print_link('/support.php','support',false,'class="small"');
|
|
echo delim();
|
|
print_link('/bugs.php','reporting bugs',false,'class="small"');
|
|
echo delim();
|
|
print_link('/links.php','links',false,'class="small"');
|
|
?> <br>
|
|
</td>
|
|
</tr>
|
|
|
|
<tr bgcolor="#333366"><td colspan="2"><?php spacer(1,1);?><br></td></tr>
|
|
|
|
<tr bgcolor="#666699">
|
|
<form method="post" action="/search.php">
|
|
<td align="right" valign="top" colspan="2"><font color="#ffffff">
|
|
<small>search for</small>
|
|
<input class="small" type="text" name="pattern" value="<?php echo htmlspecialchars($prevsearch) ?>" size="30">
|
|
<small>in the</small>
|
|
<select name="show" class="small">
|
|
<option value="quickref" selected>function list
|
|
<option value="nosource">whole site
|
|
<option value="manual">online documentation
|
|
<option value="bugdb">bug database
|
|
<option value="maillist">general mailing list
|
|
<option value="devlist">developer mailing list
|
|
<option value="phpdoc">documentation mailing list
|
|
<option value="source">website source code
|
|
</select>
|
|
<?php echo make_submit('small_submit_white.gif', 'search', 'bottom');
|
|
?> <br>
|
|
</font></td>
|
|
</form>
|
|
</tr>
|
|
|
|
<tr bgcolor="#333366"><td colspan="2"><?php spacer(1,1);?><br></td></tr>
|
|
</table>
|
|
|
|
<?php
|
|
if (!$dont_enclose):
|
|
$enclosed = 1;
|
|
?>
|
|
|
|
<table cellpadding="0" cellspacing="0">
|
|
<tr valign="top">
|
|
<?php if (isset($SIDEBAR_DATA)):?>
|
|
<td width=200 bgcolor="#f0f0f0">
|
|
<table width="100%" cellpadding="2" cellspacing="0" border=0>
|
|
<tr valign="top">
|
|
<td class="sidebar"><?php echo $SIDEBAR_DATA?></td>
|
|
</tr>
|
|
</table>
|
|
</td>
|
|
<td bgcolor="#cccccc" background="/gifs/checkerboard.gif"><?php spacer(1,1);?><br></td>
|
|
<?php endif; ?>
|
|
<td>
|
|
<table cellpadding="10" cellspacing="0">
|
|
<tr>
|
|
<td valign="top">
|
|
<?php
|
|
endif;
|
|
}
|
|
|
|
|
|
# commonfooter()
|
|
#
|
|
#
|
|
|
|
function commonFooter() {
|
|
global $SCRIPT_NAME,$MYSITE,$LAST_UPDATED,$PHP_SELF,$enclosed, $RSIDEBAR_DATA;
|
|
if ($enclosed) {
|
|
echo "</td></tr></table></td>";
|
|
if(isset($RSIDEBAR_DATA)) {?>
|
|
<td bgcolor="#cccccc" background="/gifs/checkerboard.gif"><?php spacer(1,1);?><br></td>
|
|
<td width=175 bgcolor="#f0f0f0">
|
|
<table width="100%" cellpadding="4" cellspacing="0">
|
|
<tr valign="top">
|
|
<td class="sidebar"><?php echo $RSIDEBAR_DATA?></td>
|
|
</tr>
|
|
</table>
|
|
</td>
|
|
<?}
|
|
echo "</tr></table>\n";
|
|
}
|
|
?>
|
|
|
|
<table border="0" cellspacing="0" cellpadding="0" width="100%">
|
|
<tr bgcolor="#333366"><td><?php spacer(1,1);?><br></td></tr>
|
|
<tr bgcolor="#9999cc">
|
|
<form method="get" action="/mirrors.php" onsubmit="return gotomirror(this);">
|
|
<td align="right" valign="bottom">
|
|
<script language="javascript">
|
|
<!--
|
|
function gotomirror(form) {
|
|
url = form.country.options[form.country.selectedIndex].value;
|
|
if (url != '<?php echo $MYSITE; ?>') {
|
|
current = window.location.href;
|
|
window.location.href = url+current.substr(<?echo strlen($MYSITE)?>);
|
|
}
|
|
return false;
|
|
}
|
|
//-->
|
|
</script>
|
|
<input type="hidden" name="REDIRECT" value="1">
|
|
<input type="hidden" name="FROM" value="<?php echo htmlspecialchars($PHP_SELF)?>">
|
|
<?php
|
|
print_link('/source.php?url='.$SCRIPT_NAME, 'show source', false, 'class="small"');
|
|
echo delim();
|
|
print_link('/credits.php', 'credits', false, 'class="small"');
|
|
echo delim();
|
|
if (have_stats()) {
|
|
print_link('/stats/', 'stats', false, 'class="small"');
|
|
echo delim();
|
|
}
|
|
print_link('/mirrors.php', 'mirror sites:', false, 'class="small"');
|
|
echo " <select class=\"small\" name=\"country\" onchange=\"gotomirror(this.form)\">\n";
|
|
show_mirror_options($MYSITE);
|
|
echo "</select> ";
|
|
echo make_submit('small_submit.gif', 'go', 'bottom' );
|
|
?> <br>
|
|
</td>
|
|
</form>
|
|
</tr>
|
|
<tr bgcolor="#333366"><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 echo make_link('/copyright.php', 'Copyright © 2001 The PHP Group'); ?><br>
|
|
All rights reserved.<br>
|
|
</small>
|
|
</td>
|
|
<td align="right"><small>
|
|
This mirror generously provided by:
|
|
<a href="<?php echo mirror_provider_url();?>"><?php echo mirror_provider();?></a><br>
|
|
Last updated: <url-minder-ignore><?php echo strftime("%c %Z", $LAST_UPDATED); ?></url-minder-ignore><br>
|
|
</small>
|
|
</td>
|
|
</tr>
|
|
</table>
|
|
|
|
</body>
|
|
</html>
|
|
<?php
|
|
}
|
|
|
|
function sect_to_file($string) {
|
|
$string = strtolower($string);
|
|
$string = str_replace(' ','-',$string);
|
|
$string = str_replace('_','-',$string);
|
|
$func = "function.$string.php";
|
|
$chap = "ref.$string.php";
|
|
$feat = "features.$string.php";
|
|
$struct = "control-structures.$string.php";
|
|
if(is_file($func)) return $func;
|
|
else if(is_file($chap)) return $chap;
|
|
else if(is_file($feat)) return $feat;
|
|
else if(is_file($struct)) return $struct;
|
|
else return "$string.php";
|
|
}
|
|
|
|
function clean_note($text) {
|
|
$text = htmlspecialchars($text);
|
|
$fixes = array('<br>','<p>','</p>');
|
|
reset($fixes);
|
|
while (list(,$f)=each($fixes)) {
|
|
$text=str_replace(htmlspecialchars($f), $f, $text);
|
|
$text=str_replace(htmlspecialchars(strtoupper($f)), $f, $text);
|
|
}
|
|
$text = "<tt>".nl2br($text)."</tt>";
|
|
return $text;
|
|
}
|
|
|
|
?>
|