Updated mediawiki/extensions
Project: mediawiki/extensions/Echo  f94654389d653fb010a6396a778c8461e099f69d
null
Separating html and html-light formatting for notifications

Change-Id: I388b8bbcce741005b34b87d7331e22d442ef1c9b

More work on our custom edit summary parsing

Change-Id: I85146f7eaa1871dc4356ad9494582621293f54d9