diff vendor/symfony/polyfill-php70/Php70.php @ 14:1fec387a4317

Update Drupal core to 8.5.2 via Composer

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/vendor/symfony/polyfill-php70/Php70.php	Mon Apr 23 09:46:53 2018 +0100
@@ -0,0 +1,74 @@
+<?php
+
+/*
+ * This file is part of the Symfony package.
+ *
+ * (c) Fabien Potencier <[e-mail]>
+ *
+ * For the full copyright and license information, please view the LICENSE
+ * file that was distributed with this source code.
+ */
+
+namespace Symfony\Polyfill\Php70;
+
+/**
+ * @author Nicolas Grekas <[e-mail]>
+ *
+ * @internal
+ */
+final class Php70
+{
+    public static function intdiv($dividend, $divisor)
+    {
+        $dividend = self::intArg($dividend, __FUNCTION__, 1);
+        $divisor = self::intArg($divisor, __FUNCTION__, 2);
+
+        if (0 === $divisor) {
+            throw new \DivisionByZeroError('Division by zero');
+        }
+        if (-1 === $divisor && ~PHP_INT_MAX === $dividend) {
+            throw new \ArithmeticError('Division of PHP_INT_MIN by -1 is not an integer');
+        }
+
+        return ($dividend - ($dividend % $divisor)) / $divisor;
+    }
+
+    public static function preg_replace_callback_array(array $patterns, $subject, $limit = -1, &$count = 0)
+    {
+        $count = 0;
+        $result = (string) $subject;
+        if (0 === $limit = self::intArg($limit, __FUNCTION__, 3)) {
+            return $result;
+        }
+
+        foreach ($patterns as $pattern => $callback) {
+            $result = preg_replace_callback($pattern, $callback, $result, $limit, $c);
+            $count += $c;
+        }
+
+        return $result;
+    }
+
+    public static function error_clear_last()
+    {
+        static $handler;
+        if (!$handler) {
+             $handler = function() { return false; };
+        }
+        set_error_handler($handler);
+        @trigger_error('');
+        restore_error_handler();
+    }
+
+    public static function intArg($value, $caller, $pos)
+    {
+        if (is_int($value)) {
+            return $value;
+        }
+        if (!is_numeric($value) || PHP_INT_MAX <= ($value += 0) || ~PHP_INT_MAX >= $value) {
+            throw new \TypeError(sprintf('%s() expects parameter %d to be integer, %s given', $caller, $pos, gettype($value)));
+        }
+
+        return (int) $value;
+    }
+}