diff --git a/preferences/settings.php b/preferences/settings.php index 50a9d75dc5..16fdc01012 100755 --- a/preferences/settings.php +++ b/preferences/settings.php @@ -24,6 +24,7 @@ $phpgw->common->navbar(); } + // This function is not going to be needed when email is moved into its own preferences section. function display_option($text,$check,$option,$indent) { global $phpgw, $phpgw_info; if ($phpgw_info["user"]["apps"][$check]) { @@ -37,7 +38,7 @@ ?>