php/archived-web-php
1
0
Fork 0
mirror of https://github.com/php/web-php.git synced 2026-03-23 23:02:13 +01:00
Code Issues Packages Projects Releases Wiki Activity

Move contribution links to the bottom of the documentation pages (#973)

Browse Source 
Co-authored-by: haszi <haszika80@gmail.com>
This commit is contained in:
haszi
2024-04-17 13:48:52 +02:00
committed by GitHub
parent fef2ba34eb
commit fbe589892a
2 changed files with 37 additions and 23 deletions
Download Patch File Download Diff File Expand all files Collapse all files

45
include/shared-manual.inc
View File

@@ -323,19 +323,6 @@ function manual_setup($setup): void {
];
site_header($setup["this"][1] . " - Manual ", $config);
$id = substr($setup['this'][0], 0, -4);
$repo = strtolower($config['lang']); // pt_BR etc.
$edit_url = "https://github.com/php/doc-{$repo}";
// If the documentation source information is available (generated using
// doc-base/configure.php and PhD) then try and make a source-specific URL.
if (isset($setup['source'])) {
$source_lang = $setup['source']['lang'];
if ($source_lang === $repo || $source_lang === 'base') {
$edit_url = "https://github.com/php/doc-{$source_lang}/blob/master/{$setup['source']['path']}";
}
}
$languageChooser = manual_language_chooser($config['lang'], $config['thispage']);
echo <<<PAGE_TOOLS
@@ -343,10 +330,6 @@ function manual_setup($setup): void {
<div class="change-language">
{$languageChooser}
</div>
<div class="edit-bug">
<a href="{$edit_url}">Submit a Pull Request</a>
<a href="https://github.com/php/doc-{$repo}/issues/new?body=From%20manual%20page:%20https:%2F%2Fphp.net%2F$id%0A%0A---">Report a Bug</a>
</div>
</div>
PAGE_TOOLS;
}
@@ -381,9 +364,35 @@ CHANGE_LANG;
return trim($r);
}
function manual_footer(): void {
function manual_footer($setup): void {
global $USERNOTES, $__RELATED;
$id = substr($setup['this'][0], 0, -4);
$repo = strtolower($setup["head"][1]); // pt_BR etc.
$edit_url = "https://github.com/php/doc-{$repo}";
// If the documentation source information is available (generated using
// doc-base/configure.php and PhD) then try and make a source-specific URL.
if (isset($setup['source'])) {
$source_lang = $setup['source']['lang'];
if ($source_lang === $repo || $source_lang === 'base') {
$edit_url = "https://github.com/php/doc-{$source_lang}/blob/master/{$setup['source']['path']}";
}
}
echo <<<CONTRIBUTE
<div class="contribute">
<h3 class="title">Improve This Page</h3>
<div class="edit-bug">
<a href="https://github.com/php/doc-base/blob/master/README.md" title="This will take you to our contribution guidelines on GitHub." target="_blank" rel="noopener noreferrer">Learn how improve this page</a>
•
<a href="{$edit_url}">Submit a Pull Request</a>
•
<a href="https://github.com/php/doc-{$repo}/issues/new?body=From%20manual%20page:%20https:%2F%2Fphp.net%2F$id%0A%0A---">Report a Bug</a>
</div>
</div>
CONTRIBUTE;
manual_notes($USERNOTES);
site_footer([
'related_menu' => $__RELATED['toc'],

15
styles/theme-base.css
View File

@@ -419,14 +419,19 @@ hr {
.page-tools {
text-align: right;
}
.page-tools #changelang-langs,
.page-tools .edit-bug {
.page-tools #changelang-langs {
font-size:.75rem;
}
.page-tools .edit-bug a {
.contribute {
border: 1px solid #888;
border-radius: 3px;
margin: 0px -10px 0px -10px;
padding: 0 10px 5px 10px;
background-color: #E2E2E2;
}
.contribute .edit-bug a {
border: 0;
margin-left: 1rem;
}
/**