From 2a67507997b354faa291d9ba45ba8a9b33921908 Mon Sep 17 00:00:00 2001
From: "Dylan K. Taylor" <odigiman@gmail.com>
Date: Sun, 2 Jul 2017 12:52:22 +0100
Subject: [PATCH] Require php-leveldb version 0.2.0 or greater

---
 src/pocketmine/PocketMine.php | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/src/pocketmine/PocketMine.php b/src/pocketmine/PocketMine.php
index 5eef6685c..212da78d8 100644
--- a/src/pocketmine/PocketMine.php
+++ b/src/pocketmine/PocketMine.php
@@ -432,6 +432,14 @@ namespace pocketmine {
 			++$errors;
 		}
 
+		if(extension_loaded("leveldb")){
+			$leveldb_version = phpversion("leveldb");
+			if(version_compare($leveldb_version, "0.2.0") < 0){
+				$logger->critical("php-leveldb >= 0.2.0 is required, while you have $leveldb_version");
+				++$errors;
+			}
+		}
+
 		if(extension_loaded("pocketmine")){
 			if(version_compare(phpversion("pocketmine"), "0.0.1") < 0){
 				$logger->critical("You have the native PocketMine extension, but your version is lower than 0.0.1.");