Updated mediawiki/extensions
Project: mediawiki/extensions/Configure  3a01056c5e48830e547562457e0020b36b6a657a

Misc follow-up

- Required version is now 1.23 (SpecialPage::getPageTitle())
- Replace another call to deprecated method
- Remove one message not used anymore

Change-Id: I05978fae171d1bbc12c9a8fe2dc822286c6c520d