Updated mediawiki/extensions
Project: mediawiki/extensions/Echo  8250b8ef61317a8235d886f46c4c7f1a9e37a2c8

Making sure that email notification settings stay in sync.

Also registering UserLoadOptions hook (oops!)

Finally, getting rid of old override system that is now obsolete.

Change-Id: Ie264981eb20f1e3d3c83721bc376d79e2f5a1430