[PHP-DEV] Deprecating DateTime::ISO8601 / DATE_ISO8601

[Niklas Keller]

Hey,

can we please deprecate DateTime::ISO8601 / DATE_ISO8601 so we can change
them to the proper format in a later version? It's really ridiculous.

Regards, Niklas