php/archived-web-php
1
0
Fork 0
mirror of https://github.com/php/web-php.git synced 2026-03-23 23:02:13 +01:00
Code Issues Packages Projects Releases Wiki Activity

Fix: Remove unused parameter

Browse Source 
Closes GH-571.
This commit is contained in:
Andreas Möller
2022-06-28 14:32:24 +02:00
committed by GitHub
parent 1c2bd8ad42
commit 30796f6f06
2 changed files with 5 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
include/layout.inc
View File

@@ -83,7 +83,7 @@ function resize_image($img, $width = 1, $height = 1)
// Return an <img> tag for a given image file available on the server
function make_image($file, $alt = FALSE, $align = FALSE, $extras = FALSE,
$dir = '/images', $border = 0, $addsize = TRUE)
$dir = '/images', $addsize = TRUE)
{
// If no / was provided at the start of $dir, add it
$webdir = $_SERVER['MYSITE'] . ($dir[0] == '/' ? '' : '/') . $dir;
@@ -118,9 +118,9 @@ function make_image($file, $alt = FALSE, $align = FALSE, $extras = FALSE,
// Print an <img> tag out for a given file
function print_image($file, $alt = FALSE, $align = FALSE, $extras = FALSE,
$dir = '/images', $border = 0)
$dir = '/images')
{
echo make_image($file, $alt, $align, $extras, $dir, $border);
echo make_image($file, $alt, $align, $extras, $dir);
}
// Shortcut to usual news image printing (right floating
@@ -141,7 +141,7 @@ function make_submit($file, $alt = FALSE, $align = FALSE, $extras = FALSE,
// Get an image without size info and convert the
// border attribute to use CSS, as border="" is not
// supported on <input> elements in [X]HTML
$img = make_image($file, $alt, $align, $extras, $dir, 0, FALSE);
$img = make_image($file, $alt, $align, $extras, $dir, FALSE);
$img = str_replace(
"border=\"$border\"",
"style=\"border: {$border}px;\"",

3
mirror.php
View File

@@ -33,8 +33,7 @@ if (is_official_mirror()) {
htmlspecialchars(mirror_provider()),
FALSE,
FALSE,
'backend',
0
'backend'
);
// Add size information depending on mirror type