Example #1
0
     if (empty($Tags) && empty($Result['Constant'])) {
         $InSectionBody++;
         echo '<div class="panel-body">';
         continue;
     }
 } else {
     if ($InSection > 0 && $Result['Comment'] === '@endsection') {
         $InSection--;
         if ($InSectionBody > 0) {
             $InSectionBody--;
             echo '</div>';
         }
         echo '</div>';
         continue;
     } else {
         $Slug = StringToSlug($Result['Comment']);
         echo '<div class="panel panel-primary" id="' . $Slug . '">';
         echo '<div class="panel-heading">' . htmlspecialchars($Result['Comment']) . '<a href="#' . $Slug . '" class="permalink pull-right">#</a></div>';
         $ClosePanel = true;
     }
 }
 if (!empty($Tags)) {
     echo '<div class="panel-body">';
     foreach ($Tags as $Tag) {
         echo '<h4 class="sub-header2">' . ucfirst($Tag['Tag']) . '</h4>';
         if (isset($Tag['Description'])) {
             echo '<pre class="description">' . htmlspecialchars($Tag['Description']) . '</pre>';
         }
     }
     echo '</div>';
 }
Example #2
0
echo $BaseURL . $CurrentOpenFile;
?>
/__raw">File</a></li>
</ol>

<h1 class="page-header">List of constants in <?php 
echo htmlspecialchars($PageName);
?>
.inc</h1>

<?php 
$InSection = 0;
$InSectionBody = 0;
foreach ($Results as $Result) {
    $Data = json_decode($Result['data'], true);
    $Slug = StringToSlug($Result['name']);
    echo '<div class="panel panel-primary" id="' . $Slug . '">';
    echo '<div class="panel-heading">' . htmlspecialchars($Result['brief']) . '<a href="#' . $Slug . '" class="permalink pull-right">#</a></div>';
    if (!empty($Data['tags'])) {
        echo '<div class="panel-body">';
        foreach ($Tags as $Tag) {
            echo '<h4 class="sub-header2">' . ucfirst($Tag[0]) . '</h4>';
            if (isset($Tag[1])) {
                echo '<pre class="description">' . htmlspecialchars($Tag[1]) . '</pre>';
            }
        }
        echo '</div>';
    }
    echo '<div class="panel-footer"><pre class="description">' . htmlspecialchars($Result['name']) . '</pre></div>';
    echo '</div>';
}