Updated mediawiki/extensions
Project: mediawiki/extensions/Thanks  ca9b1ab6285a7b0c0e609eaa25d1f9c480da5363

Making agents and pages bold in flyout notifications per specs

Change-Id: I695c47b0d05f0a1e922aa77ace7a715572100212