{$body_html}
HTML
);
}
public static function render_search_form(): void {
$q = validate($_GET, 'search', INPUT_TYPE_STRING | INPUT_TYPE_TRIMMED, required: false);
$q_html = htmlentities($q);
$cancel = BASE_URL;
$str_submit = L10n::search_submit;
$str_cancel = L10n::search_cancel;
print(<<
HTML
);
}
public static function render_sign_in_form(): void {
$str_username = L10n::login_username_label;
$str_password = L10n::login_password_label;
$str_submit = L10n::login_submit;
print(<<
HTML
);
}
public static function render_setup_form(): void {
$str_prompt = L10n::create_prompt;
$str_username = L10n::create_username_label;
$str_password = L10n::create_password_label;
$str_time_zone = L10n::create_time_zone_label;
print(<<{$str_prompt}
$1', $html);
// Hashtags
$html = preg_replace_callback('/(#[a-zA-Z][a-zA-Z0-9_]*)\b/', function($match) {
$hashtag = $match[1];
return '' .
htmlentities($hashtag) . '';
}, $html);
return $html;
}
/// Converts markdown into an array of HTMLBlocks.
/// @param string $markdown Markdown string
/// @return array Array of HTMLBlocks
private static function markdown_to_blocks(string $markdown): array {
$prefix_to_linetype = array(
'*' => HTMLBlockType::ListItem,
'-' => HTMLBlockType::ListItem,
'+' => HTMLBlockType::ListItem,
'>' => HTMLBlockType::BlockQuote,
'######' => HTMLBlockType::H6,
'#####' => HTMLBlockType::H5,
'####' => HTMLBlockType::H4,
'###' => HTMLBlockType::H3,
'##' => HTMLBlockType::H2,
'#' => HTMLBlockType::H1,
);
$blocks = array();
foreach (explode("\n", $markdown) as $line) {
$trimmed_line = trim($line);
$indent = intval(round((strlen($line) - strlen($trimmed_line)) / 4));
$block_type = HTMLBlockType::Plain;
$block_content = $trimmed_line;
foreach ($prefix_to_linetype as $prefix => $type) {
if ($trimmed_line == $prefix ||
str_starts_with($trimmed_line, $prefix . ' ')) {
$block_content = substr($trimmed_line, strlen($prefix));
$block_type = $type;
break;
}
}
$blocks[] = new HTMLBlock($block_type, $indent, $block_content);
}
return $blocks;
}
/// Converts markdown to HTML
public static function markdown_to_html(string $markdown): string {
return self::blocks_to_html(self::markdown_to_blocks($markdown));
}
/// Converts an array of HTMLBlocks to HTML.
private static function blocks_to_html(array $blocks): string {
$html = '';
$last_block = null;
$tag_stack = array(); // stack of end tag strings for current open blocks
foreach ($blocks as $block) {
$is_empty = strlen($block->content_markdown) == 0;
$is_last_empty = strlen($last_block?->content_markdown ?? '') == 0;
$is_same_block = $block->type == $last_block?->type;
if (!$is_same_block && sizeof($tag_stack) > 0) {
foreach (array_reverse($tag_stack) as $tag) {
$html .= $tag;
}
$tag_stack = array();
}
switch ($block->type) {
case HTMLBlockType::Plain:
if ($is_empty) {
if ($is_last_empty) {
// ignore two consecutive empty lines
} else {
$html .= array_pop($tag_stack);
}
} elseif ($is_last_empty) {
$html .= "" . self::line_markdown_to_html($block->content_markdown); $tag_stack[] = "
\n\n"; } else { $html .= "\n" . self::line_markdown_to_html($block->content_markdown); } break; case HTMLBlockType::ListItem: if (!$is_same_block) { foreach (array_reverse($tag_stack) as $tag) { $html .= $tag; } $tag_stack = array(); for ($i = 0; $i <= $block->indent; $i++) { $html .= "
- \n";
$html .= "
- "; $tag_stack[] = "
- \n
- " . self::line_markdown_to_html($block->content_markdown); $tag_stack[] = "
\n"; } else { $html .= "
"; $tag_stack[] = "\n\n"; } $html .= self::line_markdown_to_html($block->content_markdown); break; case HTMLBlockType::Preformatted: if ($is_same_block) { $html .= "\n"; } else { $html .= "
"; $tag_stack[] = "\n\n"; } $html .= htmlentities($block->content_markdown); break; case HTMLBlockType::H1: $html .= '