rss a datum poslední modifikace

Mám trochu těžko popsatelný problém, budu ale moc rád, když mi pomůžete, nebo mě alespoň popostrčíte správným směrem.

Na svých stránkách chci skladovat textové soubory, budou volně dostupné ke stažení a k účelu rychlé interakce jsem pro zjišťování nových souborů založil RSS kanál.

Vše funguje, tak jak má, ale:

V atributu: lastbuilddate bych chtěl mít čas, kdy se objevil na webu (a na rss) poslední nejnovější soubor. Jak to tedy mám udělat?

Lze to nějak pomocí php zjistit, nebo si budu muset tento čas někde externě uchovávat?

Díky za jakoukoli radu.

Marty
tohle jsem používal

// posl. modifikace souboru: (i složky: ./)
echo Date("d.m.Y - H:i:s", FileMTime("../clanek.php"));

// posl. modifikace tohoto souboru:
echo Date("d.m.Y - H:i:s", FileMTime($SCRIPT_FILENAME));

// ještě by mělo jít:
echo date("d.m.Y - H:i:s.", getlastmod());
Aha, koukám, že jsem zapoměl dodat, že ty data tahám a následně do rss kanálu předávám pomocí databáze, takže ty první dva řádky jak jsi napsal nefungují (ozkoušeno)...
to je ještě jednodušší - založíš si další sloupek MySQL tabulky a s novým článkem, nebo updatem tam pošleš datum:
$datum = StrFTime("d.m.Y - H:i:s", Time());
a pak ho taháš s ostatním do RSS
... na třídění můžeš ukládat čas obráceně: YmdHis a porovnat podle velikosti čísla, nebo použít serverový čas v sekundách: time()
2 Havel-st: ano, vypadá to, že jinak to asi nepůjde, díky za snahu.
Taky je možnost pracovat s časem přímo, jako typem dat v MySQL, ale to jsem ještě nepoužil.