From 6c631aa757d89c94acc4558972bb39bbfb98b802 Mon Sep 17 00:00:00 2001
From: Jaroslav Hanslik <kukulich@kukulich.cz>
Date: Mon, 7 Nov 2016 11:04:05 +0100
Subject: [PATCH] Fixed notice "A non well formed numeric value encountered" in
 PHP 7.1

---
 classes/phing/Phing.php | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/classes/phing/Phing.php b/classes/phing/Phing.php
index e3e63b9e76..b45ba64ec2 100644
--- a/classes/phing/Phing.php
+++ b/classes/phing/Phing.php
@@ -1621,13 +1621,15 @@ private static function setIncludePaths()
      * Converts shorthand notation values as returned by ini_get()
      * @see http://www.php.net/ini_get
      * @param string $val
-     * @return int|string
+     * @return int
      */
     private static function convertShorthand($val)
     {
         $val = trim($val);
         $last = strtolower($val[strlen($val) - 1]);
 
+        $val = (int) $val;
+
         switch ($last) {
             // The 'G' modifier is available since PHP 5.1.0
             case 'g':