Updated mediawiki/extensions
Project: mediawiki/extensions/CentralAuth  8d51fe07c6a51d63f243f22bbd10d8bf08edca6f

Add forceRenameUsers.php

This script forcibly renames and globalizes all users
in the `users_to_rename` table that have already been
notified by a script that is yet to be written.

Change-Id: I4ddffd4f3da5ee986538278e7da350c409713e16