From 99a93a422bd182c3d8b513638d3750a6493b654e Mon Sep 17 00:00:00 2001 From: Michael Date: Thu, 4 Nov 2021 23:01:41 +0000 Subject: [PATCH] todo removed --- src/Core/System.php | 10 ---------- 1 file changed, 10 deletions(-) diff --git a/src/Core/System.php b/src/Core/System.php index 2a7510ec7..2cc9a48bc 100644 --- a/src/Core/System.php +++ b/src/Core/System.php @@ -406,14 +406,4 @@ class System // Reaching this point means that the operating system is configured badly. return ""; } - - /// @todo Move the following functions from boot.php - /* - function local_user() - function public_contact() - function remote_user() - function notice($s) - function info($s) - function is_site_admin() - */ }