On 04/19/2016 04:09 PM, Levi Morrison wrote:
On Tue, Apr 19, 2016 at 6:39 AM, Dmitry Stogov <dmi...@zend.com> wrote:
Only one note. I would prefer to use "," instead of "|" as a class name
separator.
Especially if "Union types" are not accepted.
The rest should be fine.
On the other hand if union types is accepted it makes no sense to use "," here.
Right. Lets take a final decision about syntax, after "Unoin Types"
voting (but before 7.1 release).
--
PHP Internals - PHP Runtime Development Mailing List
To unsubscribe, visit: http://www.php.net/unsub.php
