30bdfb9 Merge 950547df794b30611010730d545becf32efdb282 into 442825e87dce314eeffb136a80151bf39bf4dc83
950547d check if push notification plugin is actually loaded before trying to use