Updated mediawiki/extensions
Project: mediawiki/extensions/Echo  f9a5cc717f1b567d97963a43e9dbbbb41ef7bad0

Add difflink to mention email notification

Change-Id: I521ff0387dc7079ebf0c7f58a34d799673833b7c