Remove broken view-source link on manual pages

Closes GH-702.
php · Nov 22, 2022 · e04e1d7 · e04e1d7
1 parent bf863a1
commit e04e1d7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/include/footer.inc b/include/footer.inc
@@ -68,7 +68,7 @@
         <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'])): ?>
+<?php if (!empty($_SERVER['BASE_PAGE']) && strncmp($_SERVER['BASE_PAGE'], 'manual', 6) !== 0): ?>
         <li><a href="https://github.com/php/web-php/blob/master/<?php echo urlencode($_SERVER['BASE_PAGE']); ?>">View Source</a></li>
 <?php endif; ?>
       </ul>