Comment 4 for bug 1187212

Yes, the example time zone formats in config-defaults.php do not both work with MySQL. But that's fine, because we clearly state above it to check your manual for legal values.

I considered listing all legal timezone formats for Postgres & MySQL, but in MySQL the legal timezone formats are OS-dependent, and I figured that tracking those down would be too much work for a feature that most sites should not be using anyway.