Updated mediawiki/extensions
Project: mediawiki/extensions/Renameuser  db1ee1ae53117cc66c1a2d64f4f4567ddf76f5e3

Update method documentation

Change-Id: I7b453e7b97bd886b02288fcd2d8c77a8c6c06e97