BUGFIX #7018 This stops an infinite loop when Depreciation::notice is…

… called from set_dev_servers(). This doesn't stop people from setting $dev_servers directly (not that it is used in the core code anywhere).

control/Director.php

@@ -814,10 +814,6 @@ static function isDev($dontTouchDB = false) {
 		if(isset($_SESSION['isDev']) && $_SESSION['isDev']) $result = true;
 		if(self::$environment_type && self::$environment_type == 'dev') $result = true;
 
-		if(!empty(Director::$dev_servers))  {
-			Deprecation::notice('3.0', 'Director::$dev_servers doesn\'t work anymore');
-		}
-
 		// Use ?isDev=1 to get development access on the live server
 		if(!$dontTouchDB && !$result && isset($_GET['isDev'])) {
 			if(Security::database_is_ready()) {