Add profiling to Echo notification API
Add profiling to Echo notification API

Change-Id: I427622aa67037e33eabab02c0adf13a2abf59377

wikimedia/mediawiki-extensions-Echo,wikimedia/mediawiki-extensions-Echo,wikimedia/mediawiki-extensions-Echo,wikimedia/mediawiki-extensions-Echo