Updated mediawiki/extensions
Project: mediawiki/extensions/DumpHTML  d2515a68e27da4fd4d5a0d1f2dbd8ed1ee16e216

Default skin is offline

Per code below:
$skin = isset( $options['k'] ) ? $options['k'] : 'offline';

Change-Id: Iea367dfdc69ed0a69a9e1d4614024fe921ad5b08