Updated mediawiki/extensions
Project: mediawiki/extensions/Echo  13a680513a5e8f287dedb62e7a252bdced3444cd

Making agents and pages bold in flyout notifications per specs

Change-Id: I8eec2df4c7c772cdd753fbd8ec646baf50f2f03d