{$body_html}
" . htmlentities($message) . "
\n");
}
public static function render_post_form(): void {
print(<<
HTML
);
}
public static function render_recent_posts(): void {
$before = validate($_GET, 'before', INPUT_TYPE_INT, required: false);
[ $posts, $prev_url, $next_url ] = Post::get_posts(User::$current->user_id, before_time: $before);
print("\n");
if ($prev_url !== null) {
print("\n");
}
foreach ($posts as $post) {
self::render_post($post);
}
if ($next_url !== null) {
print("\n");
}
print("
\n");
}
/// Encodes a post body as HTML. Inserts linebreaks and paragraph tags.
private static function post_body_html(string $body): string {
$body_html = htmlentities($body);
// Single newlines are turned into linebreaks.
$body_html = str_replace("\n", "\n", $body_html); // Pairs of newlines are turned into paragraph separators. $paragraphs = explode("
\n
\n", $body_html); $body_html = "
" . implode("
\n\n", $paragraphs) . "
\n"; return $body_html; } public static function render_post(Post $post): void { $body_html = self::post_body_html($post->body); $date = localized_date_string($post->created); print(<<