From 712e077bc15656af976ab16e64f268c730ab8be8 Mon Sep 17 00:00:00 2001
From: "Dylan K. Taylor" <odigiman@gmail.com>
Date: Fri, 22 Mar 2019 19:31:10 +0000
Subject: [PATCH] Server: remove useless debug message leveldb is now
 mandatory, so this message will always be emitted.

---
 src/pocketmine/Server.php | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/src/pocketmine/Server.php b/src/pocketmine/Server.php
index aa22dc602c..ade1b690cd 100644
--- a/src/pocketmine/Server.php
+++ b/src/pocketmine/Server.php
@@ -109,7 +109,6 @@ use function bin2hex;
 use function count;
 use function define;
 use function explode;
-use function extension_loaded;
 use function file_exists;
 use function file_get_contents;
 use function file_put_contents;
@@ -1242,9 +1241,6 @@ class Server{
 			}elseif($formatName !== ""){
 				$this->logger->warning($this->language->translateString("pocketmine.level.badDefaultFormat", [$formatName]));
 			}
-			if(extension_loaded("leveldb")){
-				$this->logger->debug($this->getLanguage()->translateString("pocketmine.debug.enable"));
-			}
 
 			$this->levelManager = new LevelManager($this);