PHP 7 about phptidy HOT 6 CLOSED

/**
 * replacement for broken array_splice() in PHP 7
 * https://bugs.php.net/bug.php?id=70471
 *
 * @param array   $input (reference)
 * @param integer $offset
 * @param integer $length
 * @param array   $replacement ()
 */
function array_splice_fixed(array &$input, $offset, $length=null, array $replacement=array()) {
	if ($offset < 0) {
		$left = array_slice($input, $offset);
	} else {
		$left = array_slice($input, 0, $offset);
	}
	if (is_null($length)) {
		$input = array_merge($left,	$replacement);
	} elseif ($length < 0) {
		$input = array_merge($left,	$replacement, array_slice($input, $length));
	} else {
		$input = array_merge($left, $replacement, array_slice($input, $offset + $length));
	}
	for ( $i = 0; $i <= count($replacement); $i++ ) {
		next($input);
	}
}