Updated mediawiki/extensions
Project: mediawiki/extensions/Agora  074d1665a74d53853edc8225ee31ee6d75aac5e2

Discontinued, empty the repository

Pops up in my greps for old stuff and annoys me.

Change-Id: Iab62e90011c4e685b1c480cc051676d9fa1b2897