Updated mediawiki/extensions
Project: mediawiki/extensions/Flow  42ad04885aa0e9e1af680a39e6a59f4787471ec8

Don't send additional notifications if user already received mention notification

Change-Id: Id7b9d6f18b163765f01b205ed21039d626757f8f