diff --git a/dev/tools/test/testdiv.php b/dev/tools/test/testdiv.php index b529af4eb60..438df80b69e 100644 --- a/dev/tools/test/testdiv.php +++ b/dev/tools/test/testdiv.php @@ -21,14 +21,14 @@