From a6d14c6b6d03da8f2636decff2b25bc4a83b55ee Mon Sep 17 00:00:00 2001
From: Martin Ambrus <martin@martinambrus.com>
Date: Tue, 7 Nov 2017 12:07:35 +0100
Subject: [PATCH] fix: undefined index

---
 manual.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/manual.php b/manual.php
index 4f1df439..70002910 100644
--- a/manual.php
+++ b/manual.php
@@ -60,7 +60,7 @@ else {
 		if($_GET['typ'] == 4 && $_GET['s'] == 0) {
 			$_GET['s'] = 1;
 		}
-	include("Templates/Manual/".$_GET['typ'].preg_replace("/[^a-zA-Z0-9_-]/","",$_GET['s']).".tpl");
+		include("Templates/Manual/".$_GET['typ'].preg_replace("/[^a-zA-Z0-9_-]/","",(isset($_GET['s']) ? $_GET['s'] : '')).".tpl");
 	}
 }
 ?>