diff --git a/op/op.Settings.php b/op/op.Settings.php
index a682ec2b6..da5a32f9f 100644
--- a/op/op.Settings.php
+++ b/op/op.Settings.php
@@ -29,17 +29,6 @@ include("../inc/inc.DBInit.php");
 include("../inc/inc.ClassUI.php");
 include("../inc/inc.Authentication.php");
 
-
-function getBoolValue($post_name)
-{
-  $out = false;
-  if (isset($_POST[$post_name]))
-    if ($_POST[$post_name]=="on")
-      $out = true;
-
-  return $out;
-}
-
 if (!$user->isAdmin()) {
 	UI::exitError(getMLText("admin_tools"),getMLText("access_denied"));
 }