Hi Mönôme On Sun, Feb 11, 2024 at 2:20 PM Mönôme Epson <glash.gn...@gmail.com> wrote: > > > centralize documentation of the PHP internals > I'm glad to hear that you're planning to centralize the documentation for PHP > internals. > > > Let me know of any thoughts and suggestions you might have. > I have a preference for devel-docs/ instead of docs/ . This would make the > doc-en repository a PHP subproject.
Can you clarify? Do you mean a separate repository called devel-docs? I don't hear the term "devel" much outside of package managers. The suggestion was to put it directly in the php-src repository, where there's not much confusion about its content (precisely the php-src repository). Ilija -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: https://www.php.net/unsub.php
