Re: Wiki update

On 10.07.2018 at 15:48, Levi Morrison wrote: > On Mon, Jul 9, 2018 at 4:56 AM Kalle Sommer Nielsen <kalle@php.net> wrote: > >> Any chance someone with the powers to do so can update the Wiki so we >> can rid of the notifications appearing on every page? > > Does this update require access to the box, or can it be done through > git? If the latter I can attempt it. I say attempt, because we can't > create completely accurate local mirrors unless we have access to the > box, which I don't have. It seems to me that a pull request would work, see <https://github.com/php/web-wiki/pull/9>. Note though, that web-wiki is probably no longer automatically pushed to wiki.php.net (see <https://github.com/php/web-wiki/pull/9#issuecomment-331437789>), so ping Niklas. -- Christoph M. Becker