Updated mediawiki/extensions
Project: mediawiki/extensions/Echo  f4d033b9b27b4dd0350c24587d1fe30c69faf4fa

Making sure notification counts are reset on user option changes

Bug: 47131
Change-Id: I5244ef9f7bf9d1217c0c0df6691d8cf689c47cf5