Updated mediawiki/extensions
Project: mediawiki/extensions/Maps  1207fa4053aaa3de55a2b24b2f6be2a30ef98315

Update Travis config

Change-Id: I12f38b9fb2329b75914377b6b33edc16238a4385