(';
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 .= ')';
}
?>
= 5)): ?>
10 && !isset($_GET['comments']) && !isset($pinned)): ?>
= 5)): ?>