2022-07-08 20:39:13 +02:00
|
|
|
|
2022-10-29 10:46:37 +02:00
|
|
|
<?= raw($error) ?>
|
2022-07-08 20:39:13 +02:00
|
|
|
|
2022-10-29 10:46:37 +02:00
|
|
|
<a href="<?= raw($searchUrl) ?>" title="Opens GitHub to search for similar issues">
|
|
|
|
<button>Find similar bugs</button>
|
|
|
|
</a>
|
2022-07-08 20:39:13 +02:00
|
|
|
|
2022-10-29 10:46:37 +02:00
|
|
|
<a href="<?= raw($issueUrl) ?>" title="After clicking this button you can review the issue before submitting it">
|
|
|
|
<button>Create GitHub Issue</button>
|
|
|
|
</a>
|
2022-07-08 20:39:13 +02:00
|
|
|
|
2022-10-29 10:46:37 +02:00
|
|
|
<p class="maintainer">
|
|
|
|
<?= e($maintainer) ?>
|
|
|
|
</p>
|