source: inherit source file date as modification

diff --git a/source.plp b/source.plp
index 71ed8cecf15c46c50d1399d6ae052dbc757cd9eb..931b3dc90556aba1f6a6a28c682a4d8274e8574c 100644 (file)
--- 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");
                        }