MemoryManager: fixed a PHPStan error

This commit is contained in:
Dylan K. Taylor 2021-09-03 20:26:58 +01:00
parent f207f9e3e9
commit 078347b44a
No known key found for this signature in database
GPG Key ID: 8927471A91CAFD3D

View File

@ -47,6 +47,7 @@ use function get_declared_classes;
use function get_defined_functions; use function get_defined_functions;
use function ini_get; use function ini_get;
use function ini_set; use function ini_set;
use function intdiv;
use function is_array; use function is_array;
use function is_object; use function is_object;
use function is_resource; use function is_resource;
@ -115,7 +116,7 @@ class MemoryManager{
}else{ }else{
switch(mb_strtoupper($matches[2])){ switch(mb_strtoupper($matches[2])){
case "K": case "K":
$defaultMemory = $m / 1024; $defaultMemory = intdiv($m, 1024);
break; break;
case "M": case "M":
$defaultMemory = $m; $defaultMemory = $m;