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