$row): ?> ('; if ($row['DelUserName']) { $user_fmtd = html_format_username($row['DelUserName']); $heading .= __('deleted on %s by %s', $date_fmtd, $user_fmtd); } else { $heading .= __('deleted on %s', $date_fmtd); } $heading .= ')'; } elseif ($uid && $is_edited) { $date_fmtd = date('Y-m-d H:i', $row['EditedTS']); $heading .= ' ('; if ($row['EditUserName']) { $user_fmtd = html_format_username($row['EditUserName']); $heading .= __('edited on %s by %s', $date_fmtd, $user_fmtd); } else { $heading .= __('edited on %s', $date_fmtd); } $heading .= ')'; } ?>

" class="comment-deleted">
<?= __('Edit comment') ?> = 5)): ?>

-content" class="article-content comment-deleted">

10 && !isset($_GET['comments']) && !isset($pinned)): ?>