Fix labelCharMap for DEL character

This map is supposed to have string keys, not integer keys.
This commit is contained in:
Nikita Popov 2023-05-20 21:55:53 +02:00
parent a5d4c1005c
commit 74caed6446

View File

@ -1249,7 +1249,7 @@ abstract class PrettyPrinterAbstract implements PrettyPrinter {
}
if ($this->phpVersion->allowsDelInIdentifiers()) {
$this->labelCharMap[0x7f] = true;
$this->labelCharMap["\x7f"] = true;
}
}