From 87c39cc396bfe3e32baa16840f87c67364a4ce63 Mon Sep 17 00:00:00 2001
From: Tobias Diekershoff <tobias.diekershoff@gmx.net>
Date: Sat, 4 Nov 2017 08:23:56 +0100
Subject: [PATCH] this setting is not used anymore

---
 mod/admin.php | 1 -
 1 file changed, 1 deletion(-)

diff --git a/mod/admin.php b/mod/admin.php
index 4f92c8154e..1a3a235a7b 100644
--- a/mod/admin.php
+++ b/mod/admin.php
@@ -817,7 +817,6 @@ function admin_page_site_post(App $a) {
 	$private_addons			=	((x($_POST,'private_addons'))		? True					: False);
 	$disable_embedded		=	((x($_POST,'disable_embedded'))		? True					: False);
 	$allow_users_remote_self	=	((x($_POST,'allow_users_remote_self'))	? True					: False);
-	$check_new_version	=	((x($_POST,'check_new_version'))	? True					: False);
 
 	$no_multi_reg		=	((x($_POST,'no_multi_reg'))		? True						: False);
 	$no_openid		=	!((x($_POST,'no_openid'))		? True						: False);
-- 
2.39.5