From 201c3a3fca4ebbdbabe5f9045507f4df64127146 Mon Sep 17 00:00:00 2001
From: Eddie Kohler <ekohler@gmail.com>
Date: Fri, 6 Oct 2023 16:41:52 -0400
Subject: [PATCH] Nit for older PHPs.

---
 src/searchsplitter.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/searchsplitter.php b/src/searchsplitter.php
index d6df3f587b..59804e7f0c 100644
--- a/src/searchsplitter.php
+++ b/src/searchsplitter.php
@@ -130,7 +130,7 @@ static function span_balanced_parens($str, $pos = 0, $endchars = null, $allow_em
         $plast = "";
         $quote = 0;
         $startpos = $allow_empty ? -1 : $pos;
-        $endchars = $endchars ?? " \n\r\t\f\v";
+        $endchars = $endchars ?? " \n\r\t\x0B\x0C";
         $len = strlen($str);
         while ($pos < $len) {
             $ch = $str[$pos];