Re: [PHP-WEBMASTER] [PATCH] Better handling for deprecatedfunctions(implements #66861)

>
> My half-remembered guess would be that the rsync box doing the builds uses
> the latest tagged version of PhD, whereas the docs box uses the master in
> the Git master branch.  To get the rest of the docs using the new changes,
> we'd need to make a new release of PhD.
>

BTW: I confirm your assumption. HTML tag for <envar> is different on 
docs.php.net.