wsgidav.util.removeprefix

wsgidav.util.removeprefix(s: str, prefix: str, ignore_case: bool = False) → str[source]

Replacement for str.removeprefix() (Py3.9+) with ignore_case option.