From a6cd8ece1b827d5e48c877344be78ee9a63bfeeb Mon Sep 17 00:00:00 2001
From: Michael Yoo <sekjun9878@gmail.com>
Date: Sat, 30 Nov 2013 13:10:02 +1030
Subject: [PATCH] Added isLoaded function to LevelAPI. Fixes #959.

---
 src/API/LevelAPI.php | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/src/API/LevelAPI.php b/src/API/LevelAPI.php
index 8ec9a4613..7fb2afccc 100644
--- a/src/API/LevelAPI.php
+++ b/src/API/LevelAPI.php
@@ -32,6 +32,18 @@ class LevelAPI{
 		}
 		return false;
 	}
+
+    public function isLoaded($name)
+    {
+        if(isset($this->levels[$name]))
+        {
+            return true;
+        }
+        else
+        {
+            return false;
+        }
+    }
 	
 	public function getDefault(){
 		return $this->levels[$this->default];