Work around travis' old Ubuntu image not having docker.io available
Work around travis' old Ubuntu image not having docker.io available

wikimedia/mediawiki-containers,gwicke/mediawiki-containers,wikimedia/mediawiki-containers,gwicke/mediawiki-containers,gwicke/mediawiki-containers,wikimedia/mediawiki-containers