diff --git a/module/VuFind/src/VuFind/Role/PermissionProvider/IpRange.php b/module/VuFind/src/VuFind/Role/PermissionProvider/IpRange.php index d27f05497da1b0704285d38d7dd9dd840e5ef03e..6cc7e67571ba9cd3b419988f2c500ad7e4622ed4 100644 --- a/module/VuFind/src/VuFind/Role/PermissionProvider/IpRange.php +++ b/module/VuFind/src/VuFind/Role/PermissionProvider/IpRange.php @@ -94,8 +94,8 @@ class IpRange implements PermissionProviderInterface $count = 0; $inList = false; foreach ((array)$rangeIP as $range) { - if (preg_match('/-/',$range)) { - $tmp=preg_split('/-/',$range); + if (preg_match('/-/', $range)) { + $tmp=preg_split('/-/', $range); $mylist[$count]['start']=$tmp[0]; $mylist[$count]['end']=$tmp[1]; } else {