Re: Patch waiting on edit.php.net

On Mon, 23 Nov 2020 11:08:36 +0000 / "G. P. B."
<[email protected]> said :

> The issue is that the Online doc editor is rather unpractical for
> reviewing patches if changes need to be made.
> Added to the fact that we don't usually check it for patches (even
> more now that emails about them aren't sent).
> The best way is to provide a PR to https://github.com/php/doc-en

Sorry but I have no idea how to extract the patch from edit.php.net and
transform it into a PR.

I just followed the contributing guide, edited the doc online, and it
created a patch, and now it's stuck there :-/

Thanks.