Updated mediawiki/extensions
Project: mediawiki/extensions/UpdateMediaWiki  b48d30e801f082b47ee377b4bf41298718a62428

Replace deprecated/removed $wgExtensionAliasesFiles

Change-Id: If72abbf7db411fa4cbefe0f82220614381896316