Updated mediawiki/extensions
Project: mediawiki/extensions/WikibaseDatabase  573e693ad924217d103bb9748fd54e61b94b4816

Optimized imports

Change-Id: I80a9974e6d2d91fda85cd116a4cbee4bdf12dfd6