todo removed

diff --git a/src/Core/System.php b/src/Core/System.php
index 2a7510ec7607d1d2f8765b253ebcab08daa744e7..2cc9a48bc3b4e5131e6ca323ef7761f8665c9d60 100644 (file)
--- 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()
-       */
 }