1--TEST--
2Bug #71190 (substr_replace converts integers in original $search array to strings)
3--FILE--
4<?php
5$b = [0, 1, 2];
6
7var_dump($b);
8substr_replace("test", $b, "1");
9var_dump($b);
10?>
11--EXPECT--
12array(3) {
13  [0]=>
14  int(0)
15  [1]=>
16  int(1)
17  [2]=>
18  int(2)
19}
20array(3) {
21  [0]=>
22  int(0)
23  [1]=>
24  int(1)
25  [2]=>
26  int(2)
27}
28