Wiki karma for mixed type RFC

  99828
July 11, 2017 01:10 php.net@majkl578.cz (Michael Moravec)
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.
  99927
July 19, 2017 05:24 pthreads@pthreads.org (Joe Watkins)
Granted.

Thanks.

On Tue, Jul 11, 2017 at 2:10 AM, Michael Moravec 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. >