Replace TimeTraveler by php-timecop.

I'm not for having php file for autocompletion.

Imo, you should never add code for any editor.