Updated mediawiki/extensions
Project: mediawiki/extensions/ExtensionDistributor  7034514b3abd9fc7b9f4239460b21c04b9f60339

Replace usage of SpecialPage::getTitle with getPageTitle

Was deprecated in 1.23, see Icdcf5d5295ef5e7f08b1d403e0c123f78738fd40

Change-Id: I54c52f9d1cf40cb34537f63c1a5d67714344f452