summaryrefslogtreecommitdiff
path: root/scripts
diff options
context:
space:
mode:
authorNikita Popov <nikita.ppv@gmail.com>2019-09-27 10:49:25 +0200
committerNikita Popov <nikita.ppv@gmail.com>2019-09-27 10:49:25 +0200
commit34e7c2daf034af8a3054966c1029f04dc9cec5f2 (patch)
treeed6ff1fcee2df51f1786a5616d6093568e522c59 /scripts
parenta66c60cce3cd8878284fb39388080cfb6bac8ff5 (diff)
parenta6c9c7c2b8cfd4db8fcdcb66b908feac31b600af (diff)
downloadphp-git-34e7c2daf034af8a3054966c1029f04dc9cec5f2.tar.gz
Merge branch 'PHP-7.4'
Diffstat (limited to 'scripts')
-rwxr-xr-xscripts/dev/bless_tests.php4
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;
}