Updated mediawiki/extensions
Project: mediawiki/extensions/Wikibase  b3713fb5a1f3e0e4302a3351dfb543e2b74d3534

No longer run tests for MediaWiki 1.23, run repo tests with MySQL

Change-Id: Id92bdd9be05e5bc1727b2389510a848aa8ccc150