MastodonHelp/web/clitools/uts2date.php
2023-11-02 08:07:55 +01:00

10 baris
202 B
PHP
Executable file

#!/usr/bin/php
<?php
const N="\n";
if (!isset($argv[1]) || preg_match('/^\d+$/',$argv[1])!==1) {
echo('utstodate.php <unix timestamp>'.N);
exit(1);
}
echo(date('Y-m-d H:i:s',$argv[1]).N);
exit(0);
?>