github edit link

diff --git a/index.php b/index.php
index 192c9ea89a6251a677cadc870347df5d06dcf6ba..5fad47b69cd296f12b7e689d526e9575b9b5830e 100644 (file)
--- a/index.php
+++ b/index.php
@@ -270,6 +270,9 @@ ob_start($s);
                <a href="VERSION">Version</a>
                <a href="AUTHORS">Authors</a>
                <a href="LICENSE">License</a>
+               <?php if ($p !== "./") : ?>
+               <a href="https://github.com/m6w6/mdref/edit/master/<?=trim($p,"/")?>.md">Edit</a>
+               <?php endif; ?>
        </footer>
        <script src="index.js"></script>
        <?php if ($_SERVER["SERVER_NAME"] != "localhost") : ?>