Bug #62736 [Opn->Csd]: Patches should link to PHP manual

Edit report at https://bugs.php.net/bug.php?id=62736&edit=1 ID: 62736 Updated by: yannick@php.net Reported by: philip@php.net Summary: Patches should link to PHP manual -Status: Open +Status: Closed Type: Bug Package: Online Doc Editor problem Operating System: irrelevant PHP Version: Irrelevant Block user comment: N Private report: N New Comment: Automatic comment on behalf of yannick.torres@gmail.com Revision: http://git.php.net/?p=web/doc-editor.git;a=commit;h=ede07a3bcdaf79bad0398ff7dce7516232df8d12 Log: Fix bug #62736 : When we display the content of a diff, we try to display the original documentation page to view better the proposed change Previous Comments: ------------------------------------------------------------------------ [2012-10-22 16:28:22] philip@php.net To clarify, I was meaning we link to the current manual page, and not actually build it or worry about that. For example, if a patch affects the strlen() docs, then simply add a link to http://docs.php.net/strlen to optionally see how the commit will affect the current documentation. ------------------------------------------------------------------------ [2012-10-01 19:57:42] yannick@php.net When you open a diff, actually, we just output the content of the diff. We can cut the page in 2 columns ; first will display the content of the patch (as actually) and the second can, either : 1) display the PHP Manual page changed by this patch. This solution is a problem for non English page. Actually, we can only compile an EN page on the fly, not a translated page 2) display the xml modified by the patch 3) display the original xml page ------------------------------------------------------------------------ [2012-08-03 05:15:44] philip@php.net Description: ------------ It would be useful to view the manual page when looking at a patch/diff so we can better understand the context of said patch. So, the edit string would link to the PHP Manual page where the change will exist (if committed). ------------------------------------------------------------------------ -- Edit this bug report at https://bugs.php.net/bug.php?id=62736&edit=1