Update ExternalTimeSet.php