In worst case, we will always able to make a new RFC and rename them back, but I really don't like to delay this patch just because few people (including me) are not agree with names. RFC was already delayed for months, and actually, it was voted with section about new names.
Thanks. Dmitry. On Thu, Aug 21, 2014 at 10:17 PM, Andrea Faulds <a...@ajf.me> wrote: > > On 21 Aug 2014, at 19:14, Dmitry Stogov <dmi...@zend.com> wrote: > > > Pierre, wait a day, and if we won't have many developers, who against > the new names - commit it as is. > > Perhaps none will be against it now, however, how will they feel when they > have to change IS_INT in their extensions *again* to a new name bigints > would necessarily introduce? > -- > Andrea Faulds > http://ajf.me/ > > > > >
