Updated mediawiki/extensions
Project: mediawiki/extensions/Diff  ef749a32f4e771766cb0b0e9c4b8a1afb754770d

Added build failure notifications for #wikimedia-wikidata IRC and my email account

Change-Id: I05c0eeb549ab12c5960ccd93dc9bdafc710e6646