Updated mediawiki/extensions
Project: mediawiki/extensions/Renameuser  5f9355899469955d0df5bbe6c282d3734a7f2312
null
(bug 42727) Fix incorrect usage of array_shift().

Change-Id: I6fdff81c1c61c09aae942ec4515ceea57c8eed64