From fe788510cd59130603b2efc19b0c662b3de57054 Mon Sep 17 00:00:00 2001 From: Mischa POSLAWSKY Date: Wed, 17 May 2017 15:22:42 +0200 Subject: [PATCH] source: inherit source file date as modification --- source.plp | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/source.plp b/source.plp index 71ed8ce..931b3dc 100644 --- a/source.plp +++ b/source.plp @@ -1,6 +1,7 @@ <(common.inc.plp)><: my $source = $Request; +my $incname = qr{ [a-z][/a-z0-9_.-]* \.(?:plp?|css|js) }x; if ($source =~ s{(?<=\Q.inc.pl\E)/jsonp?$}{} and -r $source) { # convert perl include to json construct @@ -36,6 +37,7 @@ Html({ sheet cheat source code perl plp html agpl '], stylesheet => [qw'light dark mono red'], + data => [$source =~ m{\A($incname)\z}], }); say ''; @@ -93,7 +95,7 @@ else { my $arg = ''; print "<$tag$arg class=\"sy-\l$type\">" if $tag; if (!$type || $type eq 'Constant' - and $contents =~ s{^(['"]?)([/a-z0-9_.-]+\.(?:plp?|css|js))(?=\1$)}{}) { + and $contents =~ s{^(['"]?)($incname)(?=\1$)}{}) { # link other page sources, stylesheets, and javascript print $1 . showlink($2, "/source/$2"); } -- 2.30.0