On 01.03.2019 at 21:31, Johannes Schlüter wrote: > On Fr, 2019-03-01 at 18:28 +0100, Nikita Popov wrote: >> made the same mistake there. So there's one more point to add to the >> extension guidelines: > > Do we have a persistent space to keep those? The internals manual is > limited ... :-)
And should be removed altogether, in my opinion[1]. Such info seems to be more suitable for <http://www.phpinternalsbook.com/>, or another place where more people experienced with the engine are involved. [1] <http://news.php.net/php.doc/969386904>ff -- Christoph M. Becker -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
