Updated mediawiki/extensions
Project: mediawiki/extensions/DeleteBatch  8eeeca1034b8ce7f5cd6404795aca3665b16bc74

Replace usage of SpecialPage::getTitle with getPageTitle

Was deprecated in 1.23, see Icdcf5d5295ef5e7f08b1d403e0c123f78738fd40

Change-Id: I4b6fcd670b48051d9f41755c76cb9223b492cebc