Hello, internals Together with Michael Moravec, we’d like to announce that we are pretending to open the Mixed Type RFC (https://wiki.php.net/rfc/mixed-typehint) next Monday (02/07) and we’d like to ask you to take a look into the PR on GitHub (https://github.com/php/php-src/pull/2603) and let us know if there's something else to do before it.
Thank you all -- Gabriel Caruso
