('; 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 = gmdate('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)): ?>

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