add datetime option to info plugin
commit7210c855fdb7593ea053c2195b8a06d1660e0049
authorAndreas Gohr <andi@splitbrain.org>
Thu, 4 Jun 2020 11:41:12 +0000 (4 13:41 +0200)
committerAndreas Gohr <andi@splitbrain.org>
Thu, 4 Jun 2020 11:41:12 +0000 (4 13:41 +0200)
treec5c218cd8cd3556e486c6d91dbcb70f62513d9da
parentb6c12ffa53a4dccdb3f966e5b6bd24ad9eafc496
add datetime option to info plugin

It simply displays the time of the last render() call. This is useful
for cache debugging
lib/plugins/info/plugin.info.txt
lib/plugins/info/syntax.php