Updated mediawiki/extensions
Project: mediawiki/extensions/Renameuser  9e4c22fff8557cf6206a899972eeceef5db0be47

Warn when people load the deprecated SpecialRenameuser.php entry point

Change-Id: I8c8f5d59d655bcc378ee40c7f8737653b3f61659