Updated mediawiki/extensions
Project: mediawiki/extensions/BatchUserRights  408af054d4a71debddbd731a3676682cfbf6aec6

Replace usage of SpecialPage::getTitle with getPageTitle

Was deprecated in 1.23, see Icdcf5d5295ef5e7f08b1d403e0c123f78738fd40

Change-Id: Ieb175ab89fa190f3781ebf504ce24a42415215fe