From 5bf66662a9bdd62c5bccab15e607cd95cfb8fcab Mon Sep 17 00:00:00 2001 From: Charles Cabergs Date: Mon, 27 Jul 2020 10:05:23 +0200 Subject: Removed wordpress and phpmyadmin, my server doesn't handle it well and it brings shame on my familly --- .../wp-includes/random_compat/cast_to_int.php | 75 ---------------------- 1 file changed, 75 deletions(-) delete mode 100644 srcs/wordpress/wp-includes/random_compat/cast_to_int.php (limited to 'srcs/wordpress/wp-includes/random_compat/cast_to_int.php') diff --git a/srcs/wordpress/wp-includes/random_compat/cast_to_int.php b/srcs/wordpress/wp-includes/random_compat/cast_to_int.php deleted file mode 100644 index 9a4fab9..0000000 --- a/srcs/wordpress/wp-includes/random_compat/cast_to_int.php +++ /dev/null @@ -1,75 +0,0 @@ - operators might accidentally let a float - * through. - * - * @param int|float $number The number we want to convert to an int - * @param bool $fail_open Set to true to not throw an exception - * - * @return float|int - * @psalm-suppress InvalidReturnType - * - * @throws TypeError - */ - function RandomCompat_intval($number, $fail_open = false) - { - if (is_int($number) || is_float($number)) { - $number += 0; - } elseif (is_numeric($number)) { - $number += 0; - } - - if ( - is_float($number) - && - $number > ~PHP_INT_MAX - && - $number < PHP_INT_MAX - ) { - $number = (int) $number; - } - - if (is_int($number)) { - return (int) $number; - } elseif (!$fail_open) { - throw new TypeError( - 'Expected an integer.' - ); - } - return $number; - } -} -- cgit