Updated mediawiki/extensions
Project: mediawiki/extensions/MapSources  7ca72eb80a3a1bf1e4f4c1dc1e67703209b4b011

Add alias file for MapSources special page

fixes php notice for special page

Change-Id: I559ce1d1ea28aaf1ffe22d153accd7bc60f37a9e