diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php
index 7e5c8579276..ee462d84add 100644
--- a/includes/DefaultSettings.php
+++ b/includes/DefaultSettings.php
@@ -5433,11 +5433,6 @@ $wgUDPProfilerPort = null;
  */
 $wgUDPProfilerFormatString = null;
 
-/**
- * Output debug message on every wfProfileIn/wfProfileOut
- */
-$wgDebugFunctionEntry = false;
-
 /**
  * Destination for wfIncrStats() data...
  * 'cache' to go into the system cache, if enabled (memcached)
diff --git a/maintenance/eval.php b/maintenance/eval.php
index 25ecc09980c..e20c477af05 100644
--- a/maintenance/eval.php
+++ b/maintenance/eval.php
@@ -49,9 +49,6 @@ if ( isset( $options['d'] ) ) {
 			$lb->setServerInfo( $i, $server );
 		}
 	}
-	if ( $d > 2 ) {
-		$wgDebugFunctionEntry = true;
-	}
 }
 
 $__useReadline = function_exists( 'readline_add_history' )