Updated mediawiki/extensions
Project: mediawiki/extensions/SoundManager2Button  9d80a61e4e118a0a836b8ccd8015b3016a0a5d1b

Latest SoundManager2 updates and asynchronous script loading fixes

Change-Id: I7d1e1181abebd6b94d5c4a15808e0ab238cf2a30