Re: Maintaining PHP 5 documentation

Giovanni, I used the HTML files that were made available by the documentation team on http://doc.php.net/archives/ These files had a slightly different layout, included no fonts and had no notes. I'm open to suggestions if there's a way to grab these resources and merge them into the HTML files. The notes shouldn't be part of the HTML archive on GitHub though, as I wouldn't want them to be edited by contributors in the long run. Anna On Tue, Dec 8, 2020 at 2:03 PM Giovanni Giacobbi <giovanni@giacobbi.net> wrote: > On Tue, 8 Dec 2020 at 18:44, Anna Filina <me@afilina.com> wrote: > >> Hi team, >> >> Zend has agreed to both host the legacy docs and dedicate time to >> maintaining them. I already put together a site that displays the archives. >> >> The docs are available here: >> https://php-legacy-docs.zend.com/ >> The archives are on GitHub: >> https://github.com/zendtech/php-legacy-docs >> (still needs readme, license and all the gory details). >> I fixed the style tags in the archives' HTML, so that contributors can >> preview their changes locally with css. >> >> > Any chance to have it actually as it is now on > https://docs.php.net/ > including the comments the font and the layout? Like a full snapshot of the > state previous to PHP5 eviction, I found the notes sometimes very useful. > >