Hi Philip, > -----Original Message----- > From: Philip Hofstetter [mailto:phofstet...@sensational.ch] > Sent: Thursday, July 2, 2015 6:00 PM > To: Anatol Belski; PHP internals > Subject: Re: [PHP-DEV] date extension / Type Hinting > > Hi, > > > On Thu, Jul 2, 2015 at 4:52 PM Anatol Belski <anatol....@belski.net> wrote: > > > > please read this thread for more info > > https://github.com/php/php- > src/commit/8e19705a93d785cd1ff8ba3a69699b00 > > 169fea47 > > . > > > > yeah. I also understood Nikita's response. I guess you can close the two bugs > for > now as this really isn't fixable in any practical way. > Nope, they should be closed when it's implemented.
Regards Anatol -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php