Updated mediawiki/extensions
Project: mediawiki/extensions/GettingStarted  dd76eaf1cfdd5dc0d87c032ffb40ab11bc3625fd

Show the check mark on the post-edit notification

Bug: 69817
Change-Id: Ieb8456486809d2d0c693958b4111dd1e076bffbd