diff options
| author | Evgeny Zinoviev <me@ch1p.io> | 2022-07-09 20:02:25 +0300 |
|---|---|---|
| committer | Evgeny Zinoviev <me@ch1p.io> | 2022-07-09 20:02:25 +0300 |
| commit | 2011ca76bc2c34a3d22989125c2601d76cfe2c22 (patch) | |
| tree | 7119c890a6e401aa7288756ae75776b3a3de69e4 /skin/base.skin.php | |
| parent | 729c6a5e30fb021a0f996675ccf4150dc3f27fdc (diff) | |
skin/base: add link to sources repo in html comments
Diffstat (limited to 'skin/base.skin.php')
| -rw-r--r-- | skin/base.skin.php | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/skin/base.skin.php b/skin/base.skin.php index b0ebac3..ab7d689 100644 --- a/skin/base.skin.php +++ b/skin/base.skin.php @@ -24,7 +24,10 @@ return <<<HTML $ctx->renderScript, $js, $unsafe_lang, $opts['dynlogo_enabled'])} </body> </html> -<!-- exec time: {$exec_time}s --> +<!-- + exec time: {$exec_time}s + looking for sources? check out https://git.ch1p.io/ch1p_io_web.git +--> HTML; } |