#!/usr/bin/php -qC
<?php

  // FileDate.php
  // 2008-04-01
  // Chieh Cheng

  // GNU General Public License (GPL) Version 2, June 1991

  $args = count ($argv);
  if ($args > 1)
  {
    for ($i = 1; $i < $args; $i ++)
    {
      $file = $argv [$i];

      if (file_exists ($file))
      {
        $time = filemtime ($file);
        $year = date ("Y", $time);
        $month = date ("m", $time);
        $day = date ("d", $time);
        $hour = date ("H", $time);
        $minutes = date ("i", $time);
        $seconds = date ("s", $time);

        echo $year . $month . $day . '_' . $hour . $minutes . $seconds . "\n";
      }
    }

  }
  else
  {
    $scriptName = basename ($argv [0]);
    echo "  Usage:   " . $scriptName . " \"file 1\" [ . . . \"file n\" ]\n";
  }
?>