Re: [PHP-DEV] [PR] DateTime RFC7231 constant

2014-11-03 Thread Chris Wright
On 30 October 2014 11:31, Matteo Beccati wrote: > Hi, > > On 30/10/2014 08:03, Trevor Suarez wrote: > > Good early morning (late night for me) internals! > > > > I would like to propose a small addition be made to the DateTime date > > format constant definitions. > > > > https://github.com/php/p

Re: [PHP-DEV] [PR] DateTime RFC7231 constant

2014-10-30 Thread Peter Cowburn
On 30 October 2014 11:26, Andrea Faulds wrote: > > > On 30 Oct 2014, at 07:03, Trevor Suarez wrote: > > > > Good early morning (late night for me) internals! > > > > I would like to propose a small addition be made to the DateTime date > > format constant definitions. > > > > https://github.com/

Re: [PHP-DEV] [PR] DateTime RFC7231 constant

2014-10-30 Thread Matteo Beccati
Hi, On 30/10/2014 08:03, Trevor Suarez wrote: > Good early morning (late night for me) internals! > > I would like to propose a small addition be made to the DateTime date > format constant definitions. > > https://github.com/php/php-src/pull/882 Thanks for the PR. However, I'm afraid the comm

Re: [PHP-DEV] [PR] DateTime RFC7231 constant

2014-10-30 Thread Andrea Faulds
> On 30 Oct 2014, at 07:03, Trevor Suarez wrote: > > Good early morning (late night for me) internals! > > I would like to propose a small addition be made to the DateTime date > format constant definitions. > > https://github.com/php/php-src/pull/882 Looks simple and unobjectionable. :) > T