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

  // FileModificationTime.php
  // 2007-09-19
  // Chieh Cheng
  // http://www.CynosureX.com/

  // 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);
        echo $argv [$i] . " - " . $time . "\n";
      }
    }

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