[web-php][PR #434] - link to documentation source file when possible
| From: | noreply@php.net | Date: | Wed, 11 Aug 2021 21:55:49 +0000 |
| Subject: | [web-php][PR #434] - link to documentation source file when possible | ||
| Groups: | php.webmaster | ||
| Request: | Send a blank email to php-webmaster+get-29526@lists.php.net to get a copy of this message | ||
You can view the Pull Request on github:
https://github.com/php/web-php/pull/434
Opened By: salathe
Pull Request Description:
Link to the documentation source file if known. Also direct readers to the language-specific
repository to
report issues.
**Feature overview** (across doc-base, phd, and web-php).
1. doc-base/configure.php now creates a sources.xml file, which contains the XML IDs declared in the
documentation along with which language and source XML file declared them.
2. PhD takes this information and adds it to the
$setup array in each PHP-Web rendered
page.
3. Each page then uses this information to build a link back to the appropriate GitHub page (if it
can), which is used for "Submit a Pull Request".