pass CSV escape characters explicitly

Not passing the $escape parameter is deprecated since PHP 8.4 as the
default value will change in the future.

Author: xabbuh

Resources/bin/sync-iban-formats.php

@@ -129,7 +129,7 @@ private function readPropertiesFromRegistry(array $properties): array
         array_shift($lines);
 
         foreach ($lines as $line) {
-            $columns = str_getcsv($line, "\t");
+            $columns = str_getcsv($line, "\t", '"', '\\');
             $propertyLabel = array_shift($columns);
 
             if (!isset($properties[$propertyLabel])) {