Replace TimeTraveler by php-timecop.