Handle negative numbers in Env::i & co.

Signed-off-by: Raphaël Barrois <raphael.barrois@polytechnique.org>

diff --git a/include/misc.inc.php b/include/misc.inc.php
index b60045d..edae818 100644 (file)
--- a/include/misc.inc.php
+++ b/include/misc.inc.php
@@ -384,7 +384,7 @@ function ends_with($string, $suffix, $caseSensitive = true)
  */
 function can_convert_to_integer($data)
 {
-    return is_int($data) || ctype_digit($data);
+    return is_int($data) || ctype_digit($data) || ($data[0] == '-' && ctype_digit(substr($data, 1)));
 }
 
 /** Interpret the input data as an integer or return false.