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 <[email protected]>
wrote:

> On Tue, 8 Dec 2020 at 18:44, Anna Filina <[email protected]> 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.
>
>