Extend time splitter (YYYY-MM-YYYY-MM; zwischen YYYY-YYYY)

2026-07-01 16:43:12 +02:00
parent 0485693ccd
commit 52e0b919f2
1 changed files with 5 additions and 0 deletions
@@ -85,6 +85,8 @@ final class NodaTimeSplitter {
        "III. " => "3. ",
        "II. "  => "2. ",
        "I. "   => "1. ",
+        "zwischen" => "",
+        "Zwischen" => "",
    ];

    private const STOP_STRINGS_GERMAN = [
@@ -555,6 +557,9 @@ final class NodaTimeSplitter {
        if (strlen($datum) === 21 && substr($datum, 10, 1) === '-' && substr($datum, 0, 10) === substr($datum, -10)) {
            $datum = substr($datum, 0, 10);
        }
+        if (strlen($datum) === 15 && substr($datum, 7, 1) === '-' && substr($datum, 0, 7) === substr($datum, -7)) {
+            $datum = substr($datum, 0, 7);
+        }

        // 10000-20000
        if (!empty(\preg_match("/^[0-9]{5}(\-|\/)[0-9]{5}$/", $datum))) {