The Echo extension provides an in-wiki notification system that can be used by other extensions.