Updated mediawiki/extensions
Project: mediawiki/extensions/Echo  11a7422671313cdefa7e400be6d6e1b01ab55edb

Add profiling to Echo notification API

Change-Id: I427622aa67037e33eabab02c0adf13a2abf59377