- Karma plugin

- ColorUtil - Minor improvements
2013-11-28 01:12:52 +01:00
parent c14c025df3
commit 80db4071ce
10 changed files with 586 additions and 22 deletions
--- a/application/core/Settings/SettingManager.php
+++ b/application/core/Settings/SettingManager.php
@ -133,7 +133,7 @@ class SettingManager {
 			return (int) $value;
 		}
 		if ($type === self::TYPE_REAL) {
-			return (real) $value;
+			return (float) $value;
 		}
 		if ($type === self::TYPE_BOOL) {
 			return (bool) $value;