1<h2>Patch <?php echo clean($patch_name); ?> for <?php echo clean($package_name); ?> Bug #<?php echo $bug_id; ?></h2> 2<p><b>Patch version <?php echo format_date($revision); ?></b></p> 3<a href="bug.php?id=<?php echo $bug_id; ?>">Return to Bug #<?php echo $bug_id; ?></a> 4| <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> 5<?php 6if (count($obsoletedby)) { 7 echo '<div class="warnings">This patch is obsolete</div><p>Obsoleted by patches:<ul>'; 8 foreach ($obsoletedby as $betterpatch) { 9 echo '<li><a href="patch-display.php?patch=', 10 urlencode($betterpatch['patch']), 11 '&bug_id=', $bug_id, '&revision=', $betterpatch['revision'], 12 '">', htmlspecialchars($betterpatch['patch']), ', revision ', 13 format_date($betterpatch['revision']), '</a></li>'; 14 } 15 echo '</ul></p>'; 16} 17if (count($obsoletes)) { 18 echo '<div class="warnings">This patch renders other patches obsolete</div>', 19 '<p>Obsolete patches:<ul>'; 20 foreach ($obsoletes as $betterpatch) { 21 echo '<li><a href="patch-display.php?patch=', 22 urlencode($betterpatch['obsolete_patch']), 23 '&bug_id=', $bug_id, 24 '&revision=', $betterpatch['obsolete_revision'], 25 '">', htmlspecialchars($betterpatch['obsolete_patch']), ', revision ', 26 format_date($betterpatch['obsolete_revision']), '</a></li>'; 27 } 28 echo '</ul></p>'; 29} 30?> 31Patch Revisions: 32<?php foreach ($revisions as $i => $revision) { ?> 33<a href="patch-display.php?bug_id=<?php echo $bug_id; ?>&patch=<?php 34 echo $patch_name_url; ?>&revision=<?php echo urlencode($revision['revision']); ?>"><?php 35 echo format_date($revision['revision']); ?></a><?php if ($i < count($revisions) - 1) echo ' | '; ?> 36<?php } ?> 37<h3>Developer: <?php echo $handle; ?></h3> 38<pre> 39<?php if ($d->isEmpty()) echo 'Diffs are identical!'; else { 40 echo $diff->render($d); 41} 42?> 43</pre> 44