From 0aec7eef7199bfd438b0e3fd4dcd76f610b7083c Mon Sep 17 00:00:00 2001
From: sy-records <52o@qq52o.cn>
Date: Wed, 6 Oct 2021 09:45:36 +0800
Subject: [PATCH] Fix View Source link broken in manual pages

---
 include/footer.inc        | 13 +++++++++++--
 include/shared-manual.inc |  4 +++-
 2 files changed, 14 insertions(+), 3 deletions(-)

diff --git a/include/footer.inc b/include/footer.inc
index 826795749d..48226443aa 100644
--- a/include/footer.inc
+++ b/include/footer.inc
@@ -68,8 +68,17 @@
         <li><a href="/contact.php">Contact</a></li>
         <li><a href="/sites.php">Other PHP.net sites</a></li>
         <li><a href="/privacy.php">Privacy policy</a></li>
-<?php if (!empty($_SERVER['BASE_PAGE'])): ?>
-        <li><a href="https://github.com/php/web-php/blob/master/<?php echo urlencode($_SERVER['BASE_PAGE']); ?>">View Source</a></li>
+<?php
+$href = '';
+if (!empty($_SERVER['BASE_PAGE'])) {
+  $href = 'https://github.com/php/web-php/blob/master/' . urlencode($_SERVER['BASE_PAGE']);
+}
+if (!empty($config['view_source'])) {
+  $href = $config['view_source'];
+}
+?>
+<?php if (!empty($href)): ?>
+        <li><a href="<?php echo $href; ?>">View Source</a></li>
 <?php endif; ?>
       </ul>
       </div>
diff --git a/include/shared-manual.inc b/include/shared-manual.inc
index 25dc9ce485..577d852a8a 100644
--- a/include/shared-manual.inc
+++ b/include/shared-manual.inc
@@ -452,6 +452,7 @@ function manual_setup($setup) {
             $edit_url = "https://github.com/php/doc-{$source_lang}/blob/master/{$setup['source']['path']}";
         }
     }
+    $__RELATED['edit_url'] = $edit_url;
 
     echo <<<PAGE_TOOLS
   <div class="page-tools">
@@ -513,7 +514,8 @@ function manual_footer() {
     echo "</section>";
     $config = array(
         'related_menu' => $__RELATED['toc'],
-        'related_menu_deprecated' => $__RELATED['toc_deprecated']
+        'related_menu_deprecated' => $__RELATED['toc_deprecated'],
+        'view_source' => $__RELATED['edit_url'],
     );
     site_footer($config);
 }