Frees an WebDAVPrivilege previously created with WebDAVPrivilege or copy.
The function does nothing, if ptr is null.
ptr
null
an WebDAVPrivilege