Manual:TimestampDef.php