Updated mediawiki/extensions
Project: mediawiki/extensions/WikiLove  0a9545d5753e70411108d7d9bbd2c62b8992a2af

Replacing mw-ui-primary with mw-ui-progressive

mw-ui-primary is deprecated in favor of mw-ui-progressive

Change-Id: Ia4b1925d91838d4cd1d737775e41eb49d85b4c31