diff --git a/include/footer.inc b/include/footer.inc
index 380815dd3b..eee03c3e7b 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 1461866265..e341f68702 100644
--- a/include/shared-manual.inc
+++ b/include/shared-manual.inc
@@ -334,6 +334,7 @@ function manual_setup($setup) {
             $edit_url = "https://github.com/php/doc-{$source_lang}/blob/master/{$setup['source']['path']}";
         }
     }
+    $__RELATED['edit_url'] = $edit_url;
 
     $languageChooser = manual_language_chooser($config['lang'], $config['thispage']);
 
@@ -395,8 +396,9 @@ function manual_footer() {
     manual_notes($USERNOTES);
     $config = [
         'related_menu' => $__RELATED['toc'],
-        'related_menu_deprecated' => $__RELATED['toc_deprecated']
-    ];
+        'related_menu_deprecated' => $__RELATED['toc_deprecated'],
+        'view_source' => $__RELATED['edit_url'],
+    );
     site_footer($config);
 }