Manual:TimestampType.php