From d6e6530be910b9b9243e3b2b7950dcf10a1f30ac Mon Sep 17 00:00:00 2001
From: floppy0 <31189947+floppy0@users.noreply.github.com>
Date: Fri, 23 Feb 2018 15:53:16 +0100
Subject: [PATCH] hide editing button

---
 bl-themes/docsx/php/page.php | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/bl-themes/docsx/php/page.php b/bl-themes/docsx/php/page.php
index c153963d..8b622798 100644
--- a/bl-themes/docsx/php/page.php
+++ b/bl-themes/docsx/php/page.php
@@ -6,6 +6,8 @@
 <?php echo $page->content(); ?>
 </div>
 
+<?php if (!$Url->notFound()): ?>
 <div class="text-right mt-5">
 	<a class="btn btn-primary" href="<?php echo $GITHUB_BASE_URL.$page->key().'/'.FILENAME ?>"><?php echo $Language->get('Collaborate with us and edit this page'); ?></a>
 </div>
+<?php endif ?>