ad parent paramter to pis

2013-10-16 11:16:46 +02:00
parent 4494bf9c5c
commit 9f263bc454
5 changed files with 70 additions and 11 deletions
--- a/geoapi/utility/ArrayManager.php
+++ b/geoapi/utility/ArrayManager.php
@@ -47,8 +47,7 @@ class ArrayManager {
     */
    public static function validIntList($list) {
        foreach ($list as $value) {
-
-            if (!ctype_digit($value) || PHP_INT_MAX < $value) {
+            if (!StringManager::validInt($value)) {
                return FALSE;
            }
        }