1
0
mirror of https://tildegit.org/sbgodin/HtmGem.git synced 2023-08-25 13:53:12 +02:00
HtmGem/htmgem.php

201 lines
6.3 KiB
PHP
Raw Normal View History

2021-03-01 15:22:22 +01:00
<?php
if (isset($_REQUEST["url"]))
$url = $_REQUEST["url"];
elseif (isset($_SERVER["QUERY_STRING"]))
$url = "/".$_SERVER["QUERY_STRING"];
else
$url = "/index.gmi";
$GMI_DIR = $_SERVER['DOCUMENT_ROOT'];
$filePath = $GMI_DIR.$url;
$fileContent = @file_get_contents($filePath);
if (!$fileContent) {
http_response_code(404);
2021-03-02 23:05:30 +01:00
die("404: $url");
2021-03-01 15:22:22 +01:00
}
$fileLines = preg_split("/\n/", $fileContent);
ob_start();
echo(<<<EOL
<!DOCTYPE html>
<html lang="fr">
<head>
<title>HTM Gem</title>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
<!-- link type="text/css" rel="StyleSheet" href="/htmgem.css" -->
<style>
EOL
);
include("htmgem.css");
echo(<<<EOL
</style>
</head>
<body>
2021-03-03 16:07:56 +01:00
2021-03-01 15:22:22 +01:00
EOL);
2021-03-03 16:07:56 +01:00
/**
* Replaces markups things like __underlined__ to <u>underlined</u>.
* @param $instruction the characters to replace, ex. _
* @param $markup the markup to replace to, ex. "u" to get <u></u>
* @param &$text where to replace.
*/
function markupPreg($instruction, $markup, &$text) {
#return preg_replace("#{$instruction}((?!{$instruction}.)+)(?:{$instruction})?#", "<{$markup}>$1</{$markup}>", $text);
$output = $text;
# Replaces couples "__word__" into "<i>word</i>".
$output = preg_replace("#${instruction}(.+?)${instruction}#", "<{$markup}>$1</{$markup}>", $output);
# Replaces a remaining __ into "<i>…</i>" to the end of the line.
$output = preg_replace("#${instruction}(.+)#", "<{$markup}>$1</{$markup}>", $output);
$text = $output;
}
/**
* Adds text attributes sucj as underline, bold, to $line
* @param $line the line to process
*/
function addTextAttributes(&$line) {
markupPreg("__", "u", $line);
markupPreg("\*\*", "b", $line);
markupPreg("//", "i", $line);
markupPreg("~~", "del", $line);
}
/**
* Escapes the HTML entities yet contained in the Gemtext, keeps multiple spaces.
* @param $text1, $text2 texts to process
*/
2021-03-03 16:40:22 +01:00
function htmlEscape(&$text) {
$text = htmlspecialchars($text, ENT_HTML5, "UTF-8", false);
}
2021-03-03 16:07:56 +01:00
2021-03-03 16:40:22 +01:00
function keepSpaces(&$text) {
2021-03-03 16:07:56 +01:00
# https://en.wikipedia.org/wiki/Whitespace_character#Unicode
2021-03-03 16:40:22 +01:00
$text = preg_replace("# #", "&puncsp;&puncsp;", $text);
2021-03-02 23:35:53 +01:00
}
2021-03-01 15:22:22 +01:00
$mode = null;
2021-03-03 16:07:56 +01:00
$mode_textAttributes = true;
2021-03-01 15:22:22 +01:00
foreach ($fileLines as $line) {
2021-03-03 23:37:20 +01:00
$reDoCount = 0;
while (true) {
if ($reDoCount>1) die("Too many loops");
$reDoCount += 1;
$line1 = substr($line, 0, 1); // $line can be modified
$line2 = substr($line, 0, 2); // in the meantime.
$line3 = substr($line, 0, 3);
2021-03-01 15:22:22 +01:00
if (is_null($mode)) {
if (empty($line)) {
print("<p>&nbsp;</p>\n");
2021-03-03 23:37:20 +01:00
} elseif (b"\xEF\xBB\xBF" == $line3) {
# Removes the BOM
$line = substr($line, 3);
continue;
2021-03-01 15:22:22 +01:00
} elseif ("#" == $line1) {
preg_match("/^(#{1,3})\s*(.*)/", $line, $sharps);
$h_level = strlen($sharps[1]);
$text = $sharps[2];
2021-03-03 16:07:56 +01:00
htmlEscape($text);
2021-03-03 16:40:22 +01:00
keepSpaces($text);
2021-03-01 15:22:22 +01:00
switch ($h_level) {
case 1: print("<h1>".$text."</h1>\n"); break;
case 2: print("<h2>".$text."</h2>\n"); break;
case 3: print("<h3>".$text."</h3>\n"); break;
}
} elseif ("=>" == $line2) {
preg_match("/^=>\s*([^\s]+)\s*(.*)$/", $line, $linkParts);
$url_link = $linkParts[1];
$url_label = $linkParts[2];
if (empty($url_label)) {
$url_label = $url_link;
} else {
// the label is humain-made, apply formatting
htmlEscape($url_label);
keepSpaces($url_label);
if ($mode_textAttributes) addTextAttributes($url_label);
}
2021-03-01 15:22:22 +01:00
print("<p><a href='".$url_link."'>".$url_label."</a></p>\n");
2021-03-03 16:07:56 +01:00
} elseif ('"""' == $line3) {
$mode_textAttributes = !$mode_textAttributes;
2021-03-01 15:22:22 +01:00
} elseif ("```" == $line3) {
$mode="pre";
print("<pre>\n");
} elseif (">" == $line1) {
$mode = "quote";
preg_match("/^>\s*(.*)$/", $line, $quoteParts);
$quote = $quoteParts[1];
print("<blockquote>\n");
if (empty($quote))
print("<p>&nbsp;</p>\n");
else
2021-03-03 16:07:56 +01:00
htmlEscape($quote);
2021-03-03 16:40:22 +01:00
keepSpaces($quote);
2021-03-03 16:07:56 +01:00
print("<p>".$quote."</p>\n");
2021-03-02 23:35:53 +01:00
} elseif ("*" == $line1 && "**" != $line2) {
2021-03-01 15:22:22 +01:00
$mode = "ul";
print("<ul>\n");
2021-03-03 23:37:20 +01:00
continue;
2021-03-01 15:22:22 +01:00
} else {
2021-03-03 16:07:56 +01:00
htmlEscape($line);
2021-03-03 16:40:22 +01:00
keepSpaces($line);
2021-03-03 16:07:56 +01:00
if ($mode_textAttributes) addTextAttributes($line);
print("<p>$line</p>\n");
2021-03-01 15:22:22 +01:00
}
} elseif ("pre"==$mode) {
if ("```" == $line3) {
$mode=null;
print("</pre>\n");
} else {
2021-03-03 16:07:56 +01:00
htmlEscape($line);
if ($mode_textAttributes) addTextAttributes($line);
2021-03-01 15:22:22 +01:00
print($line."\n");
}
} elseif ("quote"==$mode) {
if (">" == $line1) {
preg_match("/^>\s*(.*)$/", $line, $quoteParts);
$quote = $quoteParts[1];
if (empty($quote))
print("<p>&nbsp;</p>\n");
else
2021-03-03 16:07:56 +01:00
htmlEscape($quote);
2021-03-03 16:40:22 +01:00
keepSpaces($quote);
2021-03-01 15:22:22 +01:00
print("<p>".$quote."</p>\n");
} else {
$mode=null;
2021-03-03 23:37:20 +01:00
print("</blockquote>\n");
continue;
2021-03-01 15:22:22 +01:00
}
} elseif ("ul"==$mode) {
2021-03-02 23:35:53 +01:00
if ("*" == $line1 && "**" != $line2) {
2021-03-01 15:22:22 +01:00
preg_match("/^\*\s*(.*)$/", $line, $ulParts);
$li = $ulParts[1];
if (empty($li))
print("<li>&nbsp;\n");
else
2021-03-03 16:07:56 +01:00
htmlEscape($li);
2021-03-03 16:40:22 +01:00
keepSpaces($li);
2021-03-03 16:07:56 +01:00
print("<li>".$li."\n");
2021-03-01 15:22:22 +01:00
} else {
$mode = null;
print("</ul>\n");
2021-03-03 23:37:20 +01:00
continue;
2021-03-01 15:22:22 +01:00
}
}
2021-03-03 23:37:20 +01:00
break; // Do one loop, except if required
2021-03-01 15:22:22 +01:00
}
}
2021-03-03 16:07:56 +01:00
echo "</body>\n</html>\n";
2021-03-01 15:22:22 +01:00
ob_end_flush();
?>