Updated mediawiki/extensions
Project: mediawiki/extensions/Bootstrap  708e959257aa30c70b311f1c5233b46f9dc772d5

Release version 1.0

Change-Id: Ida72ed78811fc0aec41217771e917ac5af29e432