Replace deprecated is_real by is_float

2020-02-25 17:48:08 +01:00
parent fa7ea9f4f3
commit 29fff4e012
1 changed files with 1 additions and 1 deletions
--- a/core/Players/PlayerDataManager.php
+++ b/core/Players/PlayerDataManager.php
@ -187,7 +187,7 @@ class PlayerDataManager implements UsageInformationAble {
 		if (is_int($param)) {
 			return self::TYPE_INT;
 		}
-		if (is_real($param)) {
+		if (is_float($param)) {
 			return self::TYPE_REAL;
 		}
 		if (is_bool($param)) {