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.