Wiki karma for mixed type RFC

8 years ago by Michael Moravec — view source — reply

unread

Hello everyone,

I'd like to request a Wiki karma to be able to create an RFC for adding the
mixed type.
There is already a PR for this: https://github.com/php/php-src/pull/2603
Wiki username in question is "majkl".

Thank you,
M.

8 years ago by Joe Watkins — view source — reply

unread

Granted.

Thanks.

On Tue, Jul 11, 2017 at 2:10 AM, Michael Moravec php.net@majkl578.cz
wrote:

Hello everyone,

I'd like to request a Wiki karma to be able to create an RFC for adding the
mixed type.
There is already a PR for this: https://github.com/php/php-src/pull/2603
Wiki username in question is "majkl".

Thank you,
M.