mirror of
https://github.com/php/web-bugs.git
synced 2026-03-23 23:32:07 +01:00
49 lines
2.2 KiB
PHP
49 lines
2.2 KiB
PHP
<h2>Patch <?php echo clean($patch_name); ?> for <?php echo clean($package_name); ?> Bug #<?php echo $bug_id; ?></h2>
|
|
<p><b>Patch version <?php echo format_date($revision); ?></b></p>
|
|
<a href="bug.php?id=<?php echo $bug_id; ?>">Return to Bug #<?php echo $bug_id; ?></a> |
|
|
<a href="patch-display.php?bug_id=<?php echo $bug_id; ?>&patch=<?php echo $patch_name_url; ?>&revision=<?php echo urlencode($revision); ?>&download=1">Download this patch</a><br>
|
|
<?php
|
|
if (count($obsoletedby)) {
|
|
echo '<div class="warnings">This patch is obsolete</div><p>Obsoleted by patches:<ul>';
|
|
foreach ($obsoletedby as $betterpatch) {
|
|
echo '<li><a href="patch-display.php?patch=',
|
|
urlencode($betterpatch['patch']),
|
|
'&bug_id=', $bug_id, '&revision=', $betterpatch['revision'],
|
|
'">', htmlspecialchars($betterpatch['patch']), ', revision ',
|
|
format_date($betterpatch['revision']), '</a></li>';
|
|
}
|
|
echo '</ul></p>';
|
|
}
|
|
if (count($obsoletes)) {
|
|
echo '<div class="warnings">This patch renders other patches obsolete</div>',
|
|
'<p>Obsolete patches:<ul>';
|
|
foreach ($obsoletes as $betterpatch) {
|
|
echo '<li><a href="patch-display.php?patch=',
|
|
urlencode($betterpatch['obsolete_patch']),
|
|
'&bug_id=', $bug_id,
|
|
'&revision=', $betterpatch['obsolete_revision'],
|
|
'">', htmlspecialchars($betterpatch['obsolete_patch']), ', revision ',
|
|
format_date($betterpatch['obsolete_revision']), '</a></li>';
|
|
}
|
|
echo '</ul></p>';
|
|
}
|
|
?>
|
|
Patch Revisions:
|
|
<?php
|
|
echo '<ul>';
|
|
foreach ($revisions as $i => $rev) {
|
|
echo '<li><a href="patch-display.php?bug_id=', $bug_id, '&patch=',
|
|
$patch_name_url, '&revision=', urlencode($rev['revision']), '">',
|
|
format_date($rev['revision']), '</a>',
|
|
' <a href="patch-display.php?patch=',
|
|
$patch_name_url,
|
|
'&bug_id=', $bug_id, '&diff=1&old=', $rev['revision'], '&revision=',
|
|
$revision, '">[diff to current]</a></li>';
|
|
}
|
|
echo '</ul></li>';
|
|
?>
|
|
<h3>Developer: <?php echo $handle; ?></a></h3>
|
|
<pre>
|
|
<?php echo htmlentities($patchcontents, ENT_QUOTES, 'UTF-8'); ?>
|
|
</pre>
|