phpとは直接関係ないのかもしれませんが、ソースファイルの上部に良く見かける // File: $Id: admin.php,v 1.15 2001/08/30 02:41:01 xxxxx Exp $ $Name: $ のようなコードは何を意味をするのでしょうか？大体は想像がつくのですが、どこか にこの コードのフォーマットを詳しく説明しているところはないでしょうか？ よろしくお願いします