Skip all MediaWiki extensions

Should save a considerable amount of time.

Change-Id: I890127cd5d7508e684990f34a2bbcf8e8fe96d12