DATE_ISO8601 and the "c" date() character

Hi all I just noticed that the DATE_ISO8601 constant and the "c" date() character don't give the same results. The difference is that the "c" format prints colon in the timezone offset, but the constant does not - both are however ISO8601 compliant. Is this intentional? If not, I'd want to change the constant rather then "c", since the "c" format has been there since 5.0 but the constant since 5.1.1. Patch attached (and patch for phpdoc). However! I think ISO8601 formats without the colon are more used.., not sure if this should be changed at all.... - Hannes