('; if ($row['DelUsersID']) { $user_fmtd = html_format_username($row['DelUserName']); $heading .= __('deleted on %s by %s', $date_fmtd, $user_fmtd); } else { $user_fmtd = html_format_username($row['EditUserName']); $heading .= __('last edited on %s by %s', $date_fmtd, $user_fmtd); } $heading .= ')'; } $row['DelUserName'] = html_format_username($row['DelUserName']); $row['EditUserName'] = html_format_username($row['EditUserName']); ?>

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

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