Badge number sometimes disappeared in Safari
Add dummy MutationObserver shim for older browsers