(';
$heading .= __('deleted on %s by %s', $date_fmtd, $user_fmtd);
$heading .= ')';
} elseif ($uid && $is_edited) {
$date_fmtd = gmdate('Y-m-d H:i', $row['EditedTS']);
$user_fmtd = html_format_username($row['EditUserName']);
$heading .= '
(';
$heading .= __('edited on %s by %s', $date_fmtd, $user_fmtd);
$heading .= ')';
}
$row['DelUserName'] = html_format_username($row['DelUserName']);
$row['EditUserName'] = html_format_username($row['EditUserName']);
?>
= 5)): ?>
10 && !isset($_GET['comments']) && !isset($pinned)): ?>
= 5)): ?>