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