mirror of
https://github.com/php/web-bugs.git
synced 2026-03-23 23:32:07 +01:00
12 lines
350 B
PHP
12 lines
350 B
PHP
<?php if (count($pulls)) { ?>
|
|
<div>
|
|
Pull requests:<br>
|
|
<ul>
|
|
<?php foreach ($pulls as $pr) { ?>
|
|
<li><a href="<?php echo htmlentities($pr['github_html_url'], ENT_QUOTES); ?>"><?php echo htmlentities($pr['github_title']); ?></a>
|
|
(<?php echo htmlentities($pr['github_repo'].'/'.$pr['github_pull_id']); ?>)</li>
|
|
<?php } ?>
|
|
</ul>
|
|
</div>
|
|
<?php } ?>
|