Bring in integration-mediawiki for extensions

Change-Id: I8d3735cfa20147cf2b73bc9d81bfd6dafc9bfdb1