Updated mediawiki/extensions
Project: mediawiki/extensions/Wikidata  93208abdf4adb3e4613884d5a2ecc138f6e6b247

Make build.sh a little faster

Change-Id: I138f234c629f3fba47cccf7274d659e37ffeda7a