Extension:Notified User

From mediawiki.org