4 <?php if (isset($html)) : ?>
6 <?php elseif (isset($text)) : ?>
8 <p style="white-space:pre-wrap"><?= $esc($text) ?></p>
9 <?php elseif (isset($refs)) : ?>
10 <?php foreach ($refs as $repo) : /* @var \mdref\Repo $repo */ ?>
11 <?php foreach ($repo as $entry) : /* @var \mdref\Entry $entry */ ?>
13 <h2 id="<?= $anchor($entry->getTitle()) ?>">
14 <a href="<?= $esc($entry->getName()) ?>"
15 ><?= $esc($entry->getTitle()) ?></a></h2>
16 <div><?= $quick($entry->getIntro()) ?></div>
17 <?php if ($repo->hasStub($stub)) : ?>
19 <p><strong>Download the Stub file:</strong></p>
20 <ul style="list-style-type: '»'">
22 <a href="stub?ref=<?= $entry->getName() ?>"><?= $entry->getName() ?>.stub.php</a><br>
25 <?= date_create("@".filemtime($stub))->format("Y-m-d H:i:s") ?>