Re: Please stop anonymous login to edit.php.net
[email protected] (André L F S Bacci)
| Newsgroups | php.doc |
|---|---|
| Message-ID | <CAL1T4B1SLDJ8bxbqO9X_KFm_p9KqoSrJ56U8s3RqnxAsBekqGg@mail.gmail.com> |
On Mon, Apr 26, 2021 at 2:26 PM Christoph M. Becker <[email protected]> wrote: > On 26.04.2021 at 15:06, Sergey Panteleev wrote: > > > I can't say about other languages, > > but I currently use the editor only to track changes. > > > > George started to change the revcheck section [1], > > but it seems now the script is still taking data from git.php.net, not > GitHub. > > > > If we can track the changes on that site, then there is no point in the > editor (although I really like it). > > > > Also, if you look at the authorization history at edit.php.net, not > many people go there. > > > > Does it make sense to restore the editor to work for everyone, > > or is it better to direct efforts to finish and deploy the new revcheck? > > > > [1] http://doc.php.gpb.moe/tools/revcheck/ > > Well, it seems the refcheck has been updated to also allow to check > Github[1], although I'm not sure whether that update will be used on the > server automatically. doc-base/scripts/revcheck.php and web-doc/www/revcheck.php are two separate entities. The first is a text only, local only script and the other is db based (as I remember) web script. So... no. It's possible to use the new algos from doc-base version to recreate a fast web-doc script, but it will need a local git checkout of GitHub repositories. Anyhow, I think we should work on revcheck (if there's the need for more > work), and decide afterwards what to do with edit.php.net. :) > It's necessary to qualify what one you are asking... the doc-base one or the web-doc one. The doc-base only has been receiving updates, slowly making him back to his former glory, as it is heavily used by translators who prefer command line. The web-doc one, focused on translators on the web, will suffer more from the lack of capacity to generate individual file diffs in a consistent manner. André