Collection of themes/skins for the Fossil SCM

⌈⌋ ⎇ branch:  Fossil Skins Extra


Check-in [d059f0486e]

Many hyperlinks are disabled.
Use anonymous login to enable hyperlinks.

Overview
Comment:charset= instead of encoding=
Downloads: Tarball | ZIP archive | SQL archive
Timelines: family | ancestors | descendants | both | trunk
Files: files | file ages | folders
SHA1: d059f0486e26a97a2f1090667ead731bfcd906ee
User & Date: mario 2021-04-10 22:45:28
Context
2021-04-10
22:47
Workaround for Content-Location: header, add h: and -cap: attrs, fix [scope] unwrapping, accept mime types, refold properties[] into strings, correct error type for invalid token. check-in: dd450f3109 user: mario tags: trunk
22:45
charset= instead of encoding= check-in: d059f0486e user: mario tags: trunk
22:45
Add caps and mtime columns, some doc fixes. check-in: 54a2eae9c2 user: mario tags: trunk
Changes
Hide Diffs Unified Diffs Ignore Whitespace Patch

Changes to extroot/index.

︙︙
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26

#
# Just a glob() and some crude plugin meta extraction.
#


#-- fossil HTML output
function page_md($text) {
    header("Content-Type: text/x-markdown; encoding=utf-8");
    print($text);
}

#-- filtered file list
function ls($dir) {
    $ls = [];
    foreach (glob("$dir/*") as $fn) {








|








12
13
14
15
16
17
18
19
20
21
22
23
24
25
26

#
# Just a glob() and some crude plugin meta extraction.
#


#-- fossil HTML output
function page_md($text) {
    header("Content-Type: text/x-markdown; charset=utf-8");
    print($text);
}

#-- filtered file list
function ls($dir) {
    $ls = [];
    foreach (glob("$dir/*") as $fn) {
︙︙

Changes to extroot/user_config.

︙︙
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63

    else {
        return $db->query($sql)->fetchAll();
    }
}

#-- fossil HTML output
function page_html($html) {
    header("Content-Type: text/html; encoding=utf-8");
    $html = <<<HTML
        <div class='fossil-doc' data-title='User config'>
        <svg style="float:left; margin-right:30pt;" width="150" height="937" version="1.1" viewBox="0 0 15.635 93.735" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
         <defs>
          <linearGradient id="linearGradient938" x1="48.584" x2="64.881" y1="88.509" y2="86.525" gradientUnits="userSpaceOnUse">
           <stop stop-color="#5f9320" offset="0"/>
           <stop stop-color="#bbb700" offset="1"/>








|








49
50
51
52
53
54
55
56
57
58
59
60
61
62
63

    else {
        return $db->query($sql)->fetchAll();
    }
}

#-- fossil HTML output
function page_html($html) {
    header("Content-Type: text/html; charset=utf-8");
    $html = <<<HTML
        <div class='fossil-doc' data-title='User config'>
        <svg style="float:left; margin-right:30pt;" width="150" height="937" version="1.1" viewBox="0 0 15.635 93.735" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
         <defs>
          <linearGradient id="linearGradient938" x1="48.584" x2="64.881" y1="88.509" y2="86.525" gradientUnits="userSpaceOnUse">
           <stop stop-color="#5f9320" offset="0"/>
           <stop stop-color="#bbb700" offset="1"/>
︙︙
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86

HTML;
    print($html);
}
function missing_param($name) {
    die(page_html("<h2>Missing input</h2><p>URL lacks <code>&$name=</code> parameter."));
}
function page_md($text) {
    header("Content-Type: text/x-markdown; encoding=utf-8");
    print($text);
}
function h($s) {
    return htmlspecialchars($s, ENT_QUOTES|ENT_HTML5, "UTF-8");
}










|








72
73
74
75
76
77
78
79
80
81
82
83
84
85
86

HTML;
    print($html);
}
function missing_param($name) {
    die(page_html("<h2>Missing input</h2><p>URL lacks <code>&$name=</code> parameter."));
}
function page_md($text) {
    header("Content-Type: text/x-markdown; charset=utf-8");
    print($text);
}
function h($s) {
    return htmlspecialchars($s, ENT_QUOTES|ENT_HTML5, "UTF-8");
}
︙︙