diff options
author | Nikita Popov <nikita.ppv@gmail.com> | 2019-09-27 10:49:25 +0200 |
---|---|---|
committer | Nikita Popov <nikita.ppv@gmail.com> | 2019-09-27 10:49:25 +0200 |
commit | 34e7c2daf034af8a3054966c1029f04dc9cec5f2 (patch) | |
tree | ed6ff1fcee2df51f1786a5616d6093568e522c59 /scripts/dev | |
parent | a66c60cce3cd8878284fb39388080cfb6bac8ff5 (diff) | |
parent | a6c9c7c2b8cfd4db8fcdcb66b908feac31b600af (diff) | |
download | php-git-34e7c2daf034af8a3054966c1029f04dc9cec5f2.tar.gz |
Merge branch 'PHP-7.4'
Diffstat (limited to 'scripts/dev')
-rwxr-xr-x | scripts/dev/bless_tests.php | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/scripts/dev/bless_tests.php b/scripts/dev/bless_tests.php index 25a4843c07..fbbfe505c9 100755 --- a/scripts/dev/bless_tests.php +++ b/scripts/dev/bless_tests.php @@ -54,6 +54,10 @@ function normalizeOutput(string $out): string { $out = preg_replace('/^#(\d+) \/.+\(\d+\):/m', '#$1 %s(%d):', $out); $out = preg_replace('/Resource id #\d+/', 'Resource id #%d', $out); $out = preg_replace('/resource\(\d+\) of type/', 'resource(%d) of type', $out); + $out = preg_replace( + '/Resource ID#\d+ used as offset, casting to integer \(\d+\)/', + 'Resource ID#%d used as offset, casting to integer (%d)', + $out); $out = preg_replace('/string\(\d+\) "([^"]*%d)/', 'string(%d) "$1', $out); return $out; } |