make sure we have a known default timezone
remove the typehint from diff(). Seems like PHP 5.5 doesn't define it, so the manual is wrong